--- 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()