ledave123 <ledave...@yahoo.fr> added the comment:

The problem can be fixed with tokenize :
I'm sorry I never submitted a path and I have no access to the source tree from 
here, if someone cares to do it, do not hesitate.

    def execfile(self, filename, source=None):
        "Execute an existing file"
        if source is None:
            import tokenize
            source = tokenize.open(filename).read()

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue12636>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to