Fix handling of ctrl-c interrupts

Signed-off-by: Stefan Marr <[email protected]>
smarr · Sep 4, 2024 · 147fb13 · 147fb13
1 parent f24070a
commit 147fb13
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/rebench/subprocess_with_timeout.py b/rebench/subprocess_with_timeout.py
@@ -148,6 +148,9 @@ def run(args, env, cwd=None, shell=False, kill_tree=True, timeout=-1,
             raise KeyboardInterrupt()
         return result
 
+    if was_interrupted:
+        raise KeyboardInterrupt()
+
     if not thread.is_alive():
         exp = thread.exception
         if exp: