Chromium Code Reviews| 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) |