summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@iki.fi>2008-05-18 18:52:59 +0300
committerLars Wirzenius <liw@iki.fi>2008-05-18 18:52:59 +0300
commit3e6713ab149a0db329ec8e45d621d3c3b44ea77d (patch)
treead018569218c2012c0fcc1a6cf3f722d5d584fc3
parent3fd81b2fa45a6861188acaec0062be85b60aa332 (diff)
downloadextrautils-3e6713ab149a0db329ec8e45d621d3c3b44ea77d.tar.gz
Handle KeyboardInterrupt.
-rwxr-xr-xdo-until9
1 files changed, 6 insertions, 3 deletions
diff --git a/do-until b/do-until
index a83c70f..c4dce85 100755
--- a/do-until
+++ b/do-until
@@ -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__":