diff --git a/python/helpers/pydev/pydev_run_in_console.py b/python/helpers/pydev/pydev_run_in_console.py index 731ead67115e..4224dd1ca999 100644 --- a/python/helpers/pydev/pydev_run_in_console.py +++ b/python/helpers/pydev/pydev_run_in_console.py @@ -41,6 +41,8 @@ if __name__ == '__main__': file = sys.argv[1] + del sys.argv[0] + import pydev_localhost if int(port) == 0 and int(client_port) == 0: