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

if media is off, don't upgrade it

Browse source
This commit is contained in:
Damien Elmes 2012-05-29 08:29:18 +09:00
parent 53cd0c5b9f
commit 8122c42245
2 changed files with 13 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
anki/media.py
View file

@ -20,6 +20,7 @@ class MediaManager(object):
def __init__(self, col, server): def __init__(self, col, server):
self.col = col self.col = col
if server: if server:
self._dir = None
return return
# media directory # media directory
self._dir = re.sub("(?i)\.(anki2)$", ".media", self.col.path) self._dir = re.sub("(?i)\.(anki2)$", ".media", self.col.path)

2
anki/storage.py
View file

@ -124,6 +124,8 @@ def _upgrade(col, ver):
# adding an empty file to a zip makes python's zip code think it's a # adding an empty file to a zip makes python's zip code think it's a
# folder, so remove any empty files # folder, so remove any empty files
changed = False changed = False
dir = col.media.dir()
if dir:
for f in os.listdir(col.media.dir()): for f in os.listdir(col.media.dir()):
if os.path.isfile(f) and not os.path.getsize(f): if os.path.isfile(f) and not os.path.getsize(f):
os.unlink(f) os.unlink(f)