util/misc.py
changeset 3498 cf4e6a7d40f8
parent 3496 bd4be02fe102
child 3750 f62625418bff
--- a/util/misc.py	Wed May 25 09:18:37 2022 +0200
+++ b/util/misc.py	Wed May 25 20:00:31 2022 +0200
@@ -45,9 +45,9 @@
         dirs[:] = [d for d in dirs if not d[0] == '.']
         if sys.platform.startswith('win'):
             try:
-                testdirpath = os.path.join(root, "testdir_", random.randint(0, 4294967296))
+                testdirpath = os.path.join(root, "testdir_" + str(random.randint(0, 4294967296)))
                 os.mkdir(testdirpath)
-                os.rmmir(testdirpath)
+                os.rmdir(testdirpath)
             except:
                 return False
         else: