GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-24 16:56:36 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

full media scan on fat32 drives (#844)

Browse source
This commit is contained in:
Damien Elmes 2013-05-16 17:58:30 +09:00
parent 69e38b18e1
commit 13a2943667
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
anki/media.py
View file

@ -63,6 +63,14 @@ class MediaManager(object):
def dir(self): def dir(self):
return self._dir 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 # 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 # doesn't track edits, but user can add or remove a file to update
mod = self.db.scalar("select dirMod from meta") mod = self.db.scalar("select dirMod from meta")
mtime = self._mtime(self.dir()) mtime = self._mtime(self.dir())
if mod and mod == mtime: if not self._isFAT32() and mod and mod == mtime:
return False return False
return mtime return mtime