mirror of
https://github.com/ankitects/anki.git
synced 2025-09-18 22:12:21 -04:00
fix catch of access denied error
This commit is contained in:
parent
742fe274dd
commit
ae3c0416db
1 changed files with 1 additions and 1 deletions
|
@ -214,7 +214,7 @@ a flash drive.""" % self.base)
|
||||||
os.rename(oldFolder, newFolder)
|
os.rename(oldFolder, newFolder)
|
||||||
except WindowsError as e:
|
except WindowsError as e:
|
||||||
self.db.rollback()
|
self.db.rollback()
|
||||||
if "Access is denied" in e:
|
if "Access is denied" in str(e):
|
||||||
showWarning(_("""\
|
showWarning(_("""\
|
||||||
Anki could not rename your profile because it could not rename the profile \
|
Anki could not rename your profile because it could not rename the profile \
|
||||||
folder on disk. Please ensure you have permission to write to Documents/Anki \
|
folder on disk. Please ensure you have permission to write to Documents/Anki \
|
||||||
|
|
Loading…
Reference in a new issue