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: