Download:
Patch
child 123:beb8f09f4bbb
parent 121:2ec2aa867f76
122:357d231b6f76
Anton Shestakov <av6@dwimlabs.net>, Thu, 07 Jul 2016 14:09:07 +0800
checker: raise the exception after bad_exit()
1 файлов изменено, 1 вставок(+), 0 удалений(-) [+]
checker.py file | annotate | diff | comparison | revisions 
--- a/checker.py	Thu Jul 07 14:08:01 2016 +0800
+++ b/checker.py	Thu Jul 07 14:09:07 2016 +0800
@@ -220,6 +220,7 @@
         wrapper(config)
     except:
         bad_exit()
+        raise
 
 
 if __name__ == '__main__':