GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-11-09 06:07:11 -05:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

don't die when filename case is borked in media check

Browse source
This commit is contained in:
Damien Elmes 2010-08-16 19:28:45 +09:00
parent 9332444dfd
commit cb533d9c02
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
anki/media.py
View file

@ -214,7 +214,10 @@ def rebuildMediaDir(deck, deleteRefs=False, dirty=True):
shutil.rmtree(path) shutil.rmtree(path)
continue continue
if f in usedFiles: if f in usedFiles:
try:
del mediaIds[f] del mediaIds[f]
except:
pass # case errors
else: else:
os.unlink(path) os.unlink(path)
unusedFileCount += 1 unusedFileCount += 1