Index: git_freezer.py |
diff --git a/git_freezer.py b/git_freezer.py |
index 7a23be21fe05994fe8d2f7984ec4174610f14fc2..91a4ec0d94d6432331c438212b8982bd303f53b9 100755 |
--- a/git_freezer.py |
+++ b/git_freezer.py |
@@ -22,12 +22,17 @@ def CMDthaw(parser, args): |
return thaw() |
-def main(): |
+def main(args): |
dispatcher = subcommand.CommandDispatcher(__name__) |
- ret = dispatcher.execute(optparse.OptionParser(), sys.argv[1:]) |
+ ret = dispatcher.execute(optparse.OptionParser(), args) |
if ret: |
print ret |
+ return 0 |
if __name__ == '__main__': |
- main() |
+ try: |
+ sys.exit(main(sys.argv[1:])) |
+ except KeyboardInterrupt: |
+ sys.stderr.write('interrupted\n') |
+ sys.exit(1) |