[New-bugs-announce] [issue19152] ExtensionFileLoader missing get_filename()

[Eric Snow]

New submission from Eric Snow:

Any reason why ExtensionFileLoader does not implement get_filename()?  I'm guessing it just slipped through the cracks.  It should be there (and be registered as implementing ExecutionLoader).

----------
assignee: eric.snow
components: Interpreter Core
messages: 198886
nosy: brett.cannon, eric.snow
priority: normal
severity: normal
status: open
title: ExtensionFileLoader missing get_filename()
type: behavior
versions: Python 3.3, Python 3.4

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