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

work around a sync bug

Browse source
This commit is contained in:
Damien Elmes 2008-11-21 13:16:48 +09:00
parent f49459fdfb
commit 9c8af9d64f
1 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
anki/sync.py
View file

@ -771,11 +771,15 @@ where media.id in %s""" % sids, now=time.time())
self.mediaSyncPending = (self.mediaSyncPending or self.mediaSyncPending = (self.mediaSyncPending or
self.mediaSupported() and payload['media']) self.mediaSupported() and payload['media'])
# cards last, handled differently # cards last, handled differently
self.updateOneWayCards(payload['cards']) t = time.time()
try:
self.updateOneWayCards(payload['cards'])
except KeyError:
t = 0
# update sync time # update sync time
self.deck.s.statement( self.deck.s.statement(
"update sources set lastSync = :t where id = :id", "update sources set lastSync = :t where id = :id",
id=self.server.deckName, t=time.time()) id=self.server.deckName, t=t)
self.deck.modified = time.time() self.deck.modified = time.time()
def getOneWayCards(self, ids): def getOneWayCards(self, ids):