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) |