Mercurial Repositories > eric / changeset
changeset
BackgroundService: improved the shutdown method.
Fri, 19 Jun 2020 13:43:40 +0200
- author
- Detlev Offenbach <detlev@die-offenbachs.de>
- date
- Fri, 19 Jun 2020 13:43:40 +0200
- changeset 7630
- 4010cc7e9c0b
- parent 7629
- 21fea11a82fa
- child 7631
- 2c7ccb4484bf
BackgroundService: improved the shutdown method.
| eric6/Utilities/BackgroundService.py | file | annotate | diff | comparison | revisions |
--- 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
