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

close deck after copy in saveas

Browse source
This commit is contained in:
Damien Elmes 2008-12-11 01:14:02 +09:00
parent 634362dc76
commit 33257c38bc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
anki/deck.py
View file

@ -1423,7 +1423,6 @@ Return new path, relative to media dir."""
oldMediaDir = self.mediaDir() oldMediaDir = self.mediaDir()
# flush old deck # flush old deck
self.s.flush() self.s.flush()
self.close()
# remove new deck if it exists # remove new deck if it exists
try: try:
os.unlink(newPath) os.unlink(newPath)
@ -1452,6 +1451,7 @@ Return new path, relative to media dir."""
s("insert into stats select * from old.stats") s("insert into stats select * from old.stats")
# detach old db and commit # detach old db and commit
s("detach database old") s("detach database old")
self.close()
newDeck.s.commit() newDeck.s.commit()
newDeck.refresh() newDeck.refresh()
newDeck.rebuildQueue() newDeck.rebuildQueue()