summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--support/lib/util.py6
1 files changed, 5 insertions, 1 deletions
diff --git a/support/lib/util.py b/support/lib/util.py
index aea9835..d88f9f6 100644
--- a/support/lib/util.py
+++ b/support/lib/util.py
@@ -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: