From 486ebe5c7c2d768b884ae85c4fea2c692d0b4f29 Mon Sep 17 00:00:00 2001
From: Benoit Foucher <benoit@zeroc.com>
Date: Thu, 5 Jan 2017 17:50:47 +0100
Subject: Fixed ICE-7478 - concurrent file access

---
 scripts/LocalDriver.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'scripts/LocalDriver.py')

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
-- 
cgit v1.2.3