Mon, 02 Jan 2023 14:04:20 +0100
Added code to ignore a runtime error when restarting a background service.
(grafted from 578236b57ed5d132c1e3b68144d505f8c5db465b)
src/eric7/Utilities/BackgroundService.py | file | annotate | diff | comparison | revisions |
--- 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()