eric6/Utilities/BackgroundService.py

changeset 7630
4010cc7e9c0b
parent 7628
f904d0eef264
child 7635
0cdead130a81
diff -r 21fea11a82fa -r 4010cc7e9c0b eric6/Utilities/BackgroundService.py
--- a/eric6/Utilities/BackgroundService.py	Fri Jun 19 13:42:52 2020 +0200
+++ b/eric6/Utilities/BackgroundService.py	Fri Jun 19 13:43:40 2020 +0200
@@ -452,4 +452,6 @@
         
         for process, _interpreter in self.processes.values():
             process.close()
+            if not process.waitForFinished(10000):
+                process.kill()
             process = None

eric ide

mercurial