From cb533d9c02ef41a38751410b5bab0cb95779a668 Mon Sep 17 00:00:00 2001
From: Damien Elmes <git@ichi2.net>
Date: Mon, 16 Aug 2010 19:28:45 +0900
Subject: [PATCH] don't die when filename case is borked in media check

---
 anki/media.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/anki/media.py b/anki/media.py
index 5011220e4..99e3905dc 100644
--- a/anki/media.py
+++ b/anki/media.py
@@ -214,7 +214,10 @@ def rebuildMediaDir(deck, deleteRefs=False, dirty=True):
             shutil.rmtree(path)
             continue
         if f in usedFiles:
-            del mediaIds[f]
+            try:
+                del mediaIds[f]
+            except:
+                pass # case errors
         else:
             os.unlink(path)
             unusedFileCount += 1