Plugins/CheckerPlugins/CodeStyleChecker/CodeStyleChecker.py

changeset 3165
400234200cd6
parent 3160
209a07d7e401
child 3171
2c37b9a37b2d
--- a/Plugins/CheckerPlugins/CodeStyleChecker/CodeStyleChecker.py	Thu Jan 02 19:40:08 2014 +0100
+++ b/Plugins/CheckerPlugins/CodeStyleChecker/CodeStyleChecker.py	Fri Jan 03 13:52:58 2014 +0100
@@ -100,6 +100,10 @@
                     index += 1
                     break
                 
+                if output[index] == "EXCEPTION":
+                    exceptionText = os.linesep.join(output[index + 2:])
+                    raise RuntimeError(exceptionText)
+                
                 fname = output[index + 1]
                 lineno = int(output[index + 2])
                 position = int(output[index + 3])

eric ide

mercurial