Utilities/BackgroundService.py

changeset 6373
739683aacc4a
parent 6367
7bc6fc02d981
child 6645
ad476851d7e0
diff -r ae44c83fccab -r 739683aacc4a Utilities/BackgroundService.py
--- a/Utilities/BackgroundService.py	Tue Jun 26 18:50:04 2018 +0200
+++ b/Utilities/BackgroundService.py	Wed Jun 27 18:43:11 2018 +0200
@@ -74,7 +74,7 @@
             interpreter = e5App().getObject("VirtualEnvManager")\
                 .getVirtualenvInterpreter(venvName)
             if not interpreter and int(pyName[-1]) == sys.version_info[0]:
-                interpreter = sys.executable
+                interpreter = sys.executable.replace("w.exe", ".exe")
             if interpreter:
                 process = self.__startExternalClient(interpreter, port)
                 if process:
@@ -255,7 +255,7 @@
             interpreter = e5App().getObject("VirtualEnvManager")\
                 .getVirtualenvInterpreter(venvName)
             if not interpreter and int(pyName[-1]) == sys.version_info[0]:
-                interpreter = sys.executable
+                interpreter = sys.executable.replace("w.exe", ".exe")
             
             # Tweak the processes list to reflect the changed interpreter
             proc, inter = self.processes.pop(pyName, [None, None])

eric ide

mercurial