diff options
| -rw-r--r-- | support/lib/util.py | 6 |
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: |