Index: commit_queue.py |
diff --git a/commit_queue.py b/commit_queue.py |
index 7639065f8768659d12ee8824b7aacc59c10d8a4e..1bbf8a5c9e9f3154371e027ab87e175ccf70175d 100755 |
--- a/commit_queue.py |
+++ b/commit_queue.py |
@@ -181,4 +181,8 @@ def main(args=None): |
if __name__ == "__main__": |
fix_encoding.fix_encoding() |
- sys.exit(main()) |
+ try: |
+ sys.exit(main()) |
+ except KeyboardInterrupt: |
+ sys.stderr.write('interrupted\n') |
+ sys.exit(1) |