[issue4512] Add get_filename method to zipimport

[Nick Coghlan]

Nick Coghlan <ncoghlan at gmail.com> added the comment:

The spec get_filename is pretty simple:

Return whatever __file__ would be set to if load_module() was called for
this module.

(runpy's problem is that it never actually loads the module in question,
so it never gets the chance to interrogate __file__)

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