Private
Public Access
1
0

Merge branch 'release/v10.83' into develop

This commit is contained in:
Sander Roosendaal
2020-01-06 21:14:20 +01:00

View File

@@ -1782,6 +1782,11 @@ def delete_strokedata(id):
dirname = 'media/strokedata_{id}.parquet.gz'.format(id=id)
try:
shutil.rmtree(dirname)
except OSError:
try:
os.remove(dirname)
except FileNotFoundError:
pass
except FileNotFoundError:
pass