cmd/{random,split}: call handle_ctrl_c() for cleaner keyboard interrupts.

Signed-off-by: Avery Pennarun <apenwarr@gmail.com>

diff --git a/cmd/random-cmd.py b/cmd/random-cmd.py
index 34035d57cda3ad7160f9af93ea23d2dae66f0c20..7e3eaa4cad6fab5f8842eb53767b09aab04344ed 100755 (executable)
--- a/cmd/random-cmd.py
+++ b/cmd/random-cmd.py
@@ -17,6 +17,8 @@ if len(extra) != 1:
 
 total = parse_num(extra[0])
 
+handle_ctrl_c()
+
 if opt.force or (not os.isatty(1) and
                  not atoi(os.environ.get('BUP_FORCE_TTY')) & 1):
     _hashsplit.write_random(sys.stdout.fileno(), total, opt.seed or 0)

diff --git a/cmd/split-cmd.py b/cmd/split-cmd.py
index b065892f12af0e1c3c6b6c66464bfb8f6957c30a..2addf24014aa052024903a45b4292b91b6cef6d6 100755 (executable)
--- a/cmd/split-cmd.py
+++ b/cmd/split-cmd.py
@@ -26,6 +26,7 @@ bwlimit=   maximum bytes/sec to transmit to server
 o = options.Options('bup split', optspec)
 (opt, flags, extra) = o.parse(sys.argv[1:])
 
+handle_ctrl_c()
 git.check_repo_or_die()
 if not (opt.blobs or opt.tree or opt.commit or opt.name or
         opt.noop or opt.copy):