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

fix for FileIO exception when deleting a profile from windows

Browse source
This commit is contained in:
mikem 2012-01-29 19:15:12 +09:00
parent 58935afba7
commit f3847daae4
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
anki/media.py
View file

@ -41,6 +41,10 @@ class MediaManager(object):
return return
self.db.close() self.db.close()
self.db = None self.db = None
# reset our path to ~/Anki
anki_dir = os.path.dirname( os.path.dirname(self.col.path) )
os.chdir(anki_dir)
def dir(self): def dir(self):
return self._dir return self._dir