GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-19 22:42:25 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

no need to rename on a case insensitive filename

Browse source
This commit is contained in:
Damien Elmes 2008-12-20 16:26:51 +09:00
parent 499b6b76fc
commit a6f7276b03
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
anki/media.py
View file

@ -60,7 +60,7 @@ Update media table. If file already exists, don't copy."""
if not os.path.exists(new):
if new.lower() == path.lower():
# case insensitive filesystems suck
os.rename(path, new.encode(sys.getfilesystemencoding()))
pass
else:
shutil.copy2(path, new.encode(sys.getfilesystemencoding()))
newSize = os.stat(new)[stat.ST_SIZE]