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

split up vacuum/analyze

Browse source 
9c902aec18
This commit is contained in:
Damien Elmes 2017-01-16 15:10:27 +10:00
parent f343558b51
commit 730dd5bdd2
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
anki/media.py
View file

@ -454,7 +454,8 @@ create table meta (dirMod int, lastUsn int); insert into meta values (0, 0);
def forceResync(self):
self.db.execute("delete from media")
self.db.execute("update meta set lastUsn=0,dirMod=0")
self.db.execute("vacuum analyze")
self.db.execute("vacuum")
self.db.execute("analyze")
self.db.commit()
# Media syncing: zips