diff -r a3809f75ca07 -r 4ce93da7616e Debugger/DebugServer.py --- a/Debugger/DebugServer.py Tue Oct 24 19:09:09 2017 +0200 +++ b/Debugger/DebugServer.py Thu Oct 26 18:46:28 2017 +0200 @@ -842,7 +842,7 @@ except KeyError: self.__setClientType('Python3') # assume it is a Python3 file self.startClient(False, forProject=forProject, - runInConsole=runInConsole) + runInConsole=runInConsole, interpreter=interpreter) self.setCallTraceEnabled(enableCallTrace) self.remoteEnvironment(env) @@ -888,7 +888,7 @@ except KeyError: self.__setClientType('Python3') # assume it is a Python3 file self.startClient(False, forProject=forProject, - runInConsole=runInConsole) + runInConsole=runInConsole, interpreter=interpreter) self.remoteEnvironment(env) @@ -929,7 +929,7 @@ except KeyError: self.__setClientType('Python3') # assume it is a Python3 file self.startClient(False, forProject=forProject, - runInConsole=runInConsole) + runInConsole=runInConsole, interpreter=interpreter) self.remoteEnvironment(env) @@ -970,7 +970,7 @@ except KeyError: self.__setClientType('Python3') # assume it is a Python3 file self.startClient(False, forProject=forProject, - runInConsole=runInConsole) + runInConsole=runInConsole, interpreter=interpreter) self.remoteEnvironment(env)