Index: git_cache.py |
diff --git a/git_cache.py b/git_cache.py |
index 7cc19bdb24e8db0fa8c049b0ebc345e0744c48a8..8b2784248294fa7ec80746e497f6481731a08c2a 100755 |
--- a/git_cache.py |
+++ b/git_cache.py |
@@ -697,4 +697,8 @@ def main(argv): |
if __name__ == '__main__': |
- sys.exit(main(sys.argv[1:])) |
+ try: |
+ sys.exit(main(sys.argv[1:])) |
+ except KeyboardInterrupt: |
+ sys.stderr.write('interrupted\n') |
+ sys.exit(1) |