diff options
| author | Bogdano Arendartchuk <bogdano@mandriva.org> | 2008-11-11 16:47:58 +0000 |
|---|---|---|
| committer | Bogdano Arendartchuk <bogdano@mandriva.org> | 2008-11-11 16:47:58 +0000 |
| commit | f49336398f7cd227b11a873954bf89967c84502a (patch) | |
| tree | 05003c98199310663ee0c2e8fbad7b4197ea4e8c | |
| parent | 0792a053ad9d438fd34ab5cc021f4c220f3f05b7 (diff) | |
| download | mgarepo-f49336398f7cd227b11a873954bf89967c84502a.tar mgarepo-f49336398f7cd227b11a873954bf89967c84502a.tar.gz mgarepo-f49336398f7cd227b11a873954bf89967c84502a.tar.bz2 mgarepo-f49336398f7cd227b11a873954bf89967c84502a.tar.xz mgarepo-f49336398f7cd227b11a873954bf89967c84502a.zip | |
Handle keyboard interruputs
There is no need to spit out a traceback for it.
| -rw-r--r-- | RepSys/command.py | 4 |
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: |