Thu, 15 Sep 2022 11:51:21 +0200
Restart the background client after each batch job to (hopefully) get rid of an observed performance issue.
src/eric7/Utilities/BackgroundService.py | file | annotate | diff | comparison | revisions |
--- a/src/eric7/Utilities/BackgroundService.py Thu Sep 15 11:00:36 2022 +0200 +++ b/src/eric7/Utilities/BackgroundService.py Thu Sep 15 11:51:21 2022 +0200 @@ -277,6 +277,8 @@ self.__cancelled = True else: self.batchJobDone.emit(fx, lang) + self.restartService(lang, forceKill=True) + # TODO: monitor this change else: callback = self.services.get((fx, lang)) if callback: