diff -r 75ee609c3241 -r 4f6cc64ca547 Debugger/DebugServer.py --- a/Debugger/DebugServer.py Wed Mar 13 18:35:24 2013 +0100 +++ b/Debugger/DebugServer.py Wed Mar 13 19:24:23 2013 +0100 @@ -362,9 +362,8 @@ self.__clientProcessError) self.clientProcess.readyReadStandardOutput.disconnect( self.__clientProcessOutput) - self.clientProcess.close() self.clientProcess.kill() - self.clientProcess.waitForFinished(10000) + self.clientProcess.waitForFinished(1000) self.clientProcess = None self.__createDebuggerInterface()