Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py

changeset 4235
81278aff6af9
parent 4231
0b38613388c9
child 4503
d68dcbe1deb3
--- a/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py	Thu Apr 23 19:09:34 2015 +0200
+++ b/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py	Thu Apr 23 20:05:38 2015 +0200
@@ -171,13 +171,10 @@
         """
         Public method to cancel all batch jobs.
         """
-        envs = []
         for lang in self.getLanguages():
             env = self.__supportedLanguages[lang][0]
-            if env not in envs:
-                envs.append(env)
-        for lang in envs:
-            self.backgroundService.requestCancel(lang)
+            self.backgroundService.requestCancel(
+                'batch_{0}Syntax'.format(lang), env)
     
     def __serviceError(self, fn, msg):
         """

eric ide

mercurial