diff options
Diffstat (limited to 'scripts/LocalDriver.py')
-rw-r--r-- | scripts/LocalDriver.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/LocalDriver.py b/scripts/LocalDriver.py index b3d59be6d7e..3219529b406 100644 --- a/scripts/LocalDriver.py +++ b/scripts/LocalDriver.py @@ -58,6 +58,8 @@ class Executor: raise except: pass + finally: + current.destroy() results.put((result, mainThread)) if not result.isSuccess() and not self.continueOnFailure: with self.lock: self.failure = True |