coverage.py: instead of killing (and leaving temporary files undeleted) just send SIGTERM and wait

This commit is contained in:
Johannes Schauer Marin Rodrigues 2022-06-04 08:26:39 +02:00
parent bf31355c62
commit 28122a8b5c
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -219,7 +219,8 @@ def main():
try: try:
proc.wait() proc.wait()
except KeyboardInterrupt: except KeyboardInterrupt:
proc.kill() proc.terminate()
proc.wait()
break break
print(separator, file=sys.stderr) print(separator, file=sys.stderr)
if proc.returncode != 0: if proc.returncode != 0: