src/eric7/Utilities/BackgroundService.py

branch
eric7
changeset 9656
578236b57ed5
parent 9653
e67609152c5e
child 10072
891e71c29be0
diff -r e67609152c5e -r 578236b57ed5 src/eric7/Utilities/BackgroundService.py
--- a/src/eric7/Utilities/BackgroundService.py	Sat Dec 31 16:23:21 2022 +0100
+++ b/src/eric7/Utilities/BackgroundService.py	Mon Jan 02 14:04:20 2023 +0100
@@ -332,7 +332,8 @@
             conn.blockSignals(True)
             conn.close()
         if proc:
-            proc.close()
+            with contextlib.suppress(RuntimeError):
+                proc.close()
 
         if interpreter:
             port = self.serverPort()

eric ide

mercurial