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 e4c6a4a0a79..0835c8aa192 100644 --- a/scripts/LocalDriver.py +++ b/scripts/LocalDriver.py @@ -400,6 +400,8 @@ class LocalDriver(Driver): results = executor.runUntilCompleted(self, self.start) + Expect.cleanup() # Cleanup processes which might still be around + failures = [r for r in results if not r.isSuccess()] m, s = divmod(time.time() - now, 60) print("") |