From 13a2943667ada21aaa7d0620cd6e9e9add4252cf Mon Sep 17 00:00:00 2001
From: Damien Elmes <git@ichi2.net>
Date: Thu, 16 May 2013 17:58:30 +0900
Subject: [PATCH] full media scan on fat32 drives (#844)

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

diff --git a/anki/media.py b/anki/media.py
index 7bae984c3..4e8e5a38d 100644
--- a/anki/media.py
+++ b/anki/media.py
@@ -63,6 +63,14 @@ class MediaManager(object):
     def dir(self):
         return self._dir
 
+    def _isFAT32(self):
+        if not isWin:
+            return
+        import win32api, win32file
+        name = win32file.GetVolumeNameForVolumeMountPoint(self._dir[:3])
+        if win32api.GetVolumeInformation(name)[4].lower().startswith("fat"):
+            return True
+
     # Adding media
     ##########################################################################
 
@@ -370,7 +378,7 @@ create table log (fname text primary key, type int);
         # doesn't track edits, but user can add or remove a file to update
         mod = self.db.scalar("select dirMod from meta")
         mtime = self._mtime(self.dir())
-        if mod and mod == mtime:
+        if not self._isFAT32() and mod and mod == mtime:
             return False
         return mtime