1 files changed, 4 insertions, 0 deletions
diff --git a/RepSys/command.py b/RepSys/command.py
index 1833bcd..f1d61f7 100644
--- a/RepSys/command.py
+++ b/RepSys/command.py
@@ -40,6 +40,10 @@ def do_command(parse_options_func, main_func):
     except Error, e:
         sys.stderr.write("error: %s\n" % str(e))
         sys.exit(1)
+    except KeyboardInterrupt:
+        sys.stderr.write("interrupted\n")
+        sys.stderr.flush()
+        sys.exit(1)
 
 def default_parent(url):
     if url.find("://") == -1: