--- a/src/eric7/Debugger/DebugServer.py	Sun Jul 02 17:40:17 2023 +0200
+++ b/src/eric7/Debugger/DebugServer.py	Tue Aug 01 09:59:45 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, ...