]> err.no Git - dak/commitdiff
Don't ignore KeyboardInterrupt either in process_unchecked
authorChris Lamb <lamby@debian.org>
Thu, 29 Oct 2009 13:23:12 +0000 (13:23 +0000)
committerChris Lamb <lamby@debian.org>
Thu, 29 Oct 2009 13:23:12 +0000 (13:23 +0000)
Signed-off-by: Chris Lamb <lamby@debian.org>
dak/process_unchecked.py

index 5463f1a6521a7219332614396359719b13aca514..db29ac42a1a1220ddf9e30e332861049c42a5cac 100755 (executable)
@@ -507,7 +507,7 @@ def process_it(changes_file):
 
         action(u)
 
-    except SystemExit:
+    except (SystemExit, KeyboardInterrupt):
         raise
 
     except: