Mercurial Repositories > eric / file diff

diff -r a43ce4625e1e -r d4d210405367 src/eric7/Debugger/DebugServer.py
--- a/src/eric7/Debugger/DebugServer.py	Sun Jul 23 19:26:44 2023 +0200
+++ b/src/eric7/Debugger/DebugServer.py	Sun Jul 23 19:27:37 2023 +0200
@@ -963,6 +963,11 @@
         if self.debuggerInterface is not None:
             self.debuggerInterface.shutdown()
 
+        if self.clientProcess is not None:
+            self.clientProcess.terminate()
+            if not self.clientProcess.waitForFinished(10000):
+                self.clientProcess.kill()
+
     def remoteEnvironment(self, env):
         """
         Public method to set the environment for a program to debug, run, ...