Chromium Code Reviews| Index: gcl.py |
| diff --git a/gcl.py b/gcl.py |
| index a32b950fe48f9ad4ea88ed00b9f3cee46d6a5c69..71a26bfea1f2bab51d4907055aa711bbb9630d30 100755 |
| --- a/gcl.py |
| +++ b/gcl.py |
| @@ -1511,4 +1511,8 @@ def main(argv): |
| if __name__ == "__main__": |
| fix_encoding.fix_encoding() |
| - sys.exit(main(sys.argv[1:])) |
| + try: |
| + sys.exit(main(sys.argv[1:])) |
| + except KeyboardInterrupt: |
| + print 'interrupted' |
| + sys.exit(1) |