diff options
Diffstat (limited to 'python/helpers/pydev/pydevconsole.py')
-rw-r--r-- | python/helpers/pydev/pydevconsole.py | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/python/helpers/pydev/pydevconsole.py b/python/helpers/pydev/pydevconsole.py index 8d4375f5a5aa..444aa2d1c48b 100644 --- a/python/helpers/pydev/pydevconsole.py +++ b/python/helpers/pydev/pydevconsole.py @@ -80,10 +80,18 @@ try: from pydev_imports import execfile __builtin__.execfile = execfile - except: pass +# Pull in runfile, the interface to UMD that wraps execfile +from pydev_umd import runfile, _set_globals_function +try: + import builtins + builtins.runfile = runfile +except: + import __builtin__ + __builtin__.runfile = runfile + #======================================================================================================================= # InterpreterInterface @@ -264,6 +272,9 @@ def start_server(host, port, interpreter): sys.stderr.write('Error starting server with host: %s, port: %s, client_port: %s\n' % (host, port, client_port)) raise + # Tell UMD the proper default namespace + _set_globals_function(interpreter.getNamespace) + server.register_function(interpreter.execLine) server.register_function(interpreter.execMultipleLines) server.register_function(interpreter.getCompletions) |