Index: drover.py |
diff --git a/drover.py b/drover.py |
index ec8620c81fe432554a4a3890341e14ebb9f935b7..87025300d680b4c154896b071e13d5e996487aa5 100755 |
--- a/drover.py |
+++ b/drover.py |
@@ -642,4 +642,8 @@ def main(): |
if __name__ == "__main__": |
- sys.exit(main()) |
+ try: |
+ sys.exit(main()) |
+ except KeyboardInterrupt: |
+ sys.stderr.write('interrupted\n') |
+ sys.exit(1) |