Restart the background client after each batch job to (hopefully) get rid of an observed performance issue. eric7

Thu, 15 Sep 2022 11:51:21 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Thu, 15 Sep 2022 11:51:21 +0200
branch
eric7
changeset 9329
bd8e621c3c20
parent 9328
49a0a9cb2505
child 9330
a5b42af40217

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:

eric ide

mercurial