Index: git_retry.py |
diff --git a/git_retry.py b/git_retry.py |
index b40e6d2ef8f49034342c74a312419189000c267e..d6dee6536bb8fdb8d11baf84b473f6235ddfb4cb 100755 |
--- a/git_retry.py |
+++ b/git_retry.py |
@@ -153,4 +153,8 @@ def main(args): |
if __name__ == '__main__': |
logging.basicConfig() |
logging.getLogger().setLevel(logging.WARNING) |
- sys.exit(main(sys.argv[2:])) |
+ try: |
+ sys.exit(main(sys.argv[2:])) |
+ except KeyboardInterrupt: |
+ sys.stderr.write('interrupted\n') |
+ sys.exit(1) |