diff options
Diffstat (limited to 'python/helpers/pydev/_pydev_imps/_pydev_execfile.py')
-rw-r--r-- | python/helpers/pydev/_pydev_imps/_pydev_execfile.py | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/python/helpers/pydev/_pydev_imps/_pydev_execfile.py b/python/helpers/pydev/_pydev_imps/_pydev_execfile.py new file mode 100644 index 000000000000..954783c8d085 --- /dev/null +++ b/python/helpers/pydev/_pydev_imps/_pydev_execfile.py @@ -0,0 +1,18 @@ +#We must redefine it in Py3k if it's not already there +def execfile(file, glob=None, loc=None): + if glob is None: + import sys + glob = sys._getframe().f_back.f_globals + if loc is None: + loc = glob + + # It seems that the best way is using tokenize.open(): http://code.activestate.com/lists/python-dev/131251/ + import tokenize + stream = tokenize.open(file) + try: + contents = stream.read() + finally: + stream.close() + + #execute the script (note: it's important to compile first to have the filename set in debug mode) + exec(compile(contents+"\n", file, 'exec'), glob, loc)
\ No newline at end of file |