diff -r e16c9ced6ae5 -r 0ac8e48f7092 Debugger/DebugServer.py
--- a/Debugger/DebugServer.py Wed Mar 13 18:35:24 2013 +0100
+++ b/Debugger/DebugServer.py Wed Mar 13 19:23:22 2013 +0100
@@ -358,13 +358,8 @@
# only start the client, if we are not in passive mode
if not self.passive:
if self.clientProcess:
-## self.clientProcess.readyReadStandardError.disconnect(
-## self.__clientProcessError)
-## self.clientProcess.readyReadStandardOutput.disconnect(
-## self.__clientProcessOutput)
- self.clientProcess.close()
self.clientProcess.kill()
- self.clientProcess.waitForFinished(10000)
+ self.clientProcess.waitForFinished(1000)
self.clientProcess.deleteLater()
self.clientProcess = None
