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