Spaces:
Build error
Build error
File size: 1,130 Bytes
60e3a80 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 |
import os
import random
import gc
import time
# Borrowed from https://github.com/rogerbinns/apsw/blob/master/apsw/tests.py#L224
# Used to delete sqlite files on Windows, since Windows file locking
# behaves differently to other operating systems
# This should only be used for test or non-production code, such as in reset_state.
def delete_file(name: str) -> None:
try:
os.remove(name)
except Exception:
pass
chars = list("abcdefghijklmn")
random.shuffle(chars)
newname = name + "-n-" + "".join(chars)
count = 0
while os.path.exists(name):
count += 1
try:
os.rename(name, newname)
except Exception:
if count > 30:
n = list("abcdefghijklmnopqrstuvwxyz")
random.shuffle(n)
final_name = "".join(n)
try:
os.rename(
name, "chroma-to-clean" + final_name + ".deletememanually"
)
except Exception:
pass
break
time.sleep(0.1)
gc.collect()
|