--- a/src/eric7/Utilities/BackgroundService.py Thu Oct 13 17:55:37 2022 +0200 +++ b/src/eric7/Utilities/BackgroundService.py Fri Oct 14 14:20:15 2022 +0200 @@ -278,7 +278,6 @@ else: self.batchJobDone.emit(fx, lang) self.restartService(lang, forceKill=True) - # TODO: monitor this change else: callback = self.services.get((fx, lang)) if callback: