devtools: Try to delete temp Chrome data dir – hard

Fixes #17.

1 files changed, 11 insertions, 1 deletions

diff --git a/crocoite/devtools.py b/crocoite/devtools.py
index fd56896..ea46aaa 100644
--- a/crocoite/devtools.py
+++ b/crocoite/devtools.py
@@ -323,7 +323,17 @@ class Process:
     async def __aexit__ (self, *exc):
         self.p.terminate ()
         await self.p.wait ()
-        shutil.rmtree (self.userDataDir)
+
+        # Try to delete the temporary directory multiple times. It looks like
+        # Chrome will change files in there even after it exited (i.e. .wait()
+        # returned). Very strange.
+        for i in range (5):
+            try:
+                shutil.rmtree (self.userDataDir)
+                break
+            except:
+                await asyncio.sleep (0.2)
+
         self.p = None
         return False