From a6f7276b03277e4acf0f7e2f140d04190bf56e56 Mon Sep 17 00:00:00 2001 From: Damien Elmes Date: Sat, 20 Dec 2008 16:26:51 +0900 Subject: [PATCH] no need to rename on a case insensitive filename --- anki/media.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/anki/media.py b/anki/media.py index ad9a14b71..b1202401d 100644 --- a/anki/media.py +++ b/anki/media.py @@ -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]