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

if the file is in use, hide from browser but don't forget

Browse source
This commit is contained in:
Damien Elmes 2009-06-06 22:27:00 +09:00
parent 8cd6692c84
commit dd5b3bacc8
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
ankiqt/ui/main.py
View file

@ -1003,8 +1003,11 @@ your deck."""))
continue continue
try: try:
deck = DeckStorage.Deck(d, backup=False) deck = DeckStorage.Deck(d, backup=False)
except: except Exception, e:
if not "File is in use" in str(e):
print "remove"
toRemove.append(d) toRemove.append(d)
else:
continue continue
self.browserDecks.append({ self.browserDecks.append({
'path': d, 'path': d,