Index: apply_issue.py |
diff --git a/apply_issue.py b/apply_issue.py |
index 8bcb3b2e55307f8817cb29be28bb94574bcb9f71..2b7b334f51eb6f4bd4683341bb07824f2e412c78 100755 |
--- a/apply_issue.py |
+++ b/apply_issue.py |
@@ -262,4 +262,8 @@ def main(): |
if __name__ == "__main__": |
fix_encoding.fix_encoding() |
- sys.exit(main()) |
+ try: |
+ sys.exit(main()) |
+ except KeyboardInterrupt: |
+ sys.stderr.write('interrupted\n') |
+ sys.exit(1) |