[issue3975] PyTraceBack_Print() doesn't respect # coding: xxx header

[Amaury Forgeot d'Arc]

Amaury Forgeot d'Arc <amauryfa at gmail.com> added the comment:

> The line is not displayed (why? no idea)
Well, it's difficult to re-open <stdin>...

----------
nosy: +amaury.forgeotdarc

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue3975>
_______________________________________