--- 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: