Plugins/PluginCodeStyleChecker.py

changeset 4235
81278aff6af9
parent 4221
c9fdc07753a7
child 4503
d68dcbe1deb3
diff -r 40741c858639 -r 81278aff6af9 Plugins/PluginCodeStyleChecker.py
--- a/Plugins/PluginCodeStyleChecker.py	Thu Apr 23 19:09:34 2015 +0200
+++ b/Plugins/PluginCodeStyleChecker.py	Thu Apr 23 20:05:38 2015 +0200
@@ -208,7 +208,7 @@
         Public method to cancel all batch jobs.
         """
         for lang in ['Python2', 'Python3']:
-            self.backgroundService.requestCancel(lang)
+            self.backgroundService.requestCancel('batch_style', lang)
     
     def __translateStyleCheck(self, fn, codeStyleCheckerStats, results):
         """

eric ide

mercurial