Chromium Code Reviews| Index: git_footers.py |
| diff --git a/git_footers.py b/git_footers.py |
| index f3b2482a08958abf41aad1331a7217d2da9ee5a0..01a4cd5805180a4bd025aa9baf62c64ba5c5a8e8 100755 |
| --- a/git_footers.py |
| +++ b/git_footers.py |
| @@ -139,7 +139,12 @@ def main(args): |
| for k in footers.keys(): |
| for v in footers[k]: |
| print '%s: %s' % (k, v) |
| + return 0 |
| 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) |