diff options
author | Lars Wirzenius <liw@iki.fi> | 2008-05-18 18:52:59 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@iki.fi> | 2008-05-18 18:52:59 +0300 |
commit | 3e6713ab149a0db329ec8e45d621d3c3b44ea77d (patch) | |
tree | ad018569218c2012c0fcc1a6cf3f722d5d584fc3 | |
parent | 3fd81b2fa45a6861188acaec0062be85b60aa332 (diff) | |
download | extrautils-3e6713ab149a0db329ec8e45d621d3c3b44ea77d.tar.gz |
Handle KeyboardInterrupt.
-rwxr-xr-x | do-until | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -45,9 +45,12 @@ def parse_args(args): def main(): - options, argv = parse_args(sys.argv[1:]) - if argv: - do_until(options, argv) + try: + options, argv = parse_args(sys.argv[1:]) + if argv: + do_until(options, argv) + except KeyboardInterrupt: + sys.exit(1) if __name__ == "__main__": |