jaseg/pogojig
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Don’t mask exceptions when process.kill() fails.

Browse source
This commit is contained in:
Michael Schwarz 2015-09-26 14:39:59 +02:00
parent 215ffeb9bb
commit ba3bc0513e
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
support/lib/util.py
View file

@ -80,7 +80,11 @@ def command_context(args, remove_env = [], set_env = { }, working_dir = None, us
try:
yield process
except:
process.kill()
try:
process.kill()
except OSError:
# Ignore exceptions here so we don't mask the already-being-thrown exception.
pass
raise
finally: