Index: fetch.py |
diff --git a/fetch.py b/fetch.py |
index 5335f75a4419e283f0179e356e427668be49b0c8..04be95fa48ea0d095692a321c0e6b14ec5fedb57 100755 |
--- a/fetch.py |
+++ b/fetch.py |
@@ -331,4 +331,8 @@ def main(): |
if __name__ == '__main__': |
- sys.exit(main()) |
+ try: |
+ sys.exit(main()) |
+ except KeyboardInterrupt: |
+ sys.stderr.write('interrupted\n') |
+ sys.exit(1) |