From ba0f6f36cca092e6949f86e6f869d6376848e043 Mon Sep 17 00:00:00 2001 From: Damien Elmes Date: Tue, 13 Dec 2011 12:15:13 +0900 Subject: [PATCH] don't create media db on server --- anki/media.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/anki/media.py b/anki/media.py index 440f10a15..15fc8bb62 100644 --- a/anki/media.py +++ b/anki/media.py @@ -28,6 +28,8 @@ class MediaManager(object): self.connect() def connect(self): + if self.col.server: + return path = self.dir()+".db" create = not os.path.exists(path) self.db = DB(path) @@ -35,6 +37,8 @@ class MediaManager(object): self._initDB() def close(self): + if self.col.server: + return self.db.close() self.db = None