From 28122a8b5c60e36ca394efc149f43b28bdc52045 Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Sat, 4 Jun 2022 08:26:39 +0200 Subject: [PATCH] coverage.py: instead of killing (and leaving temporary files undeleted) just send SIGTERM and wait --- coverage.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/coverage.py b/coverage.py index f765ee8..71f4a09 100755 --- a/coverage.py +++ b/coverage.py @@ -219,7 +219,8 @@ def main(): try: proc.wait() except KeyboardInterrupt: - proc.kill() + proc.terminate() + proc.wait() break print(separator, file=sys.stderr) if proc.returncode != 0: