Plugins/PluginCodeStyleChecker.py

changeset 4219
a6ee92e1f023
parent 4218
f542ad1f76c5
child 4221
c9fdc07753a7
diff -r f542ad1f76c5 -r a6ee92e1f023 Plugins/PluginCodeStyleChecker.py
--- a/Plugins/PluginCodeStyleChecker.py	Thu Apr 16 19:58:27 2015 +0200
+++ b/Plugins/PluginCodeStyleChecker.py	Fri Apr 17 18:41:41 2015 +0200
@@ -101,8 +101,12 @@
         @param fn file name (string)
         @param msg message text (string)
         """
-        if fx == 'style' and lang == 'Python2':
-            self.__serviceError(fn, msg)
+        if fx in ['style', 'batch_style'] and lang == 'Python2':
+            if fx == 'style':
+                self.__serviceError(fn, msg)
+            else:
+                self.__serviceError(self.tr("Python 2 batch check"), msg)
+                self.batchJobDone(fx, lang)
     
     def serviceErrorPy3(self, fx, lang, fn, msg):
         """
@@ -113,8 +117,12 @@
         @param fn file name (string)
         @param msg message text (string)
         """
-        if fx == 'style' and lang == 'Python3':
-            self.__serviceError(fn, msg)
+        if fx in ['style', 'batch_style'] and lang == 'Python3':
+            if fx == 'style':
+                self.__serviceError(fn, msg)
+            else:
+                self.__serviceError(self.tr("Python 3 batch check"), msg)
+                self.batchJobDone(fx, lang)
     
     def batchJobDone(self, fx, lang):
         """
@@ -123,7 +131,7 @@
         @param fx service name (string)
         @param lang language (string)
         """
-        if fx == 'style':
+        if fx in ['style', 'batch_style']:
             if lang in self.queuedBatches:
                 self.queuedBatches.remove(lang)
             # prevent sending the signal multiple times

eric ide

mercurial