src/eric7/Utilities/BackgroundService.py

branch
eric7-maintenance
changeset 9665
f3613ad3091f
parent 9653
e67609152c5e
child 10072
891e71c29be0
diff -r 2d448ea63eb8 -r f3613ad3091f src/eric7/Utilities/BackgroundService.py
--- a/src/eric7/Utilities/BackgroundService.py	Mon Jan 02 11:16:29 2023 +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