--- 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])