GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-11-11 15:17:12 -05:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

remove debug info

Browse source
This commit is contained in:
Damien Elmes 2009-01-16 18:18:19 +09:00
parent 240d311ca0
commit 8bdb1b8c26
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
anki/media.py
View file

@ -167,14 +167,11 @@ def rebuildMediaDir(deck, deleteRefs=False, dirty=True):
# fix tags # fix tags
deck.updateProgress(_("Update tags...")) deck.updateProgress(_("Update tags..."))
if dirty: if dirty:
t = time.time()
if deleteRefs: if deleteRefs:
deck.deleteTags(modifiedFacts.keys(), _("Media Missing")) deck.deleteTags(modifiedFacts.keys(), _("Media Missing"))
else: else:
deck.addTags(factsMissingMedia.keys(), _("Media Missing")) deck.addTags(factsMissingMedia.keys(), _("Media Missing"))
print time.time() - t; t = time.time()
deck.deleteTags(unmodifiedFacts.keys(), _("Media Missing")) deck.deleteTags(unmodifiedFacts.keys(), _("Media Missing"))
print time.time() - t; t = time.time()
# build cache of db records # build cache of db records
deck.updateProgress(_("Delete unused files...")) deck.updateProgress(_("Delete unused files..."))
mediaIds = dict(deck.s.all("select filename, id from media")) mediaIds = dict(deck.s.all("select filename, id from media"))