ServerMediaManager extends MediaManager

This commit is contained in:
Karsten Lehmann 2020-08-28 20:04:18 +02:00
parent 94da88a3b2
commit 89dcfd6ecd
No known key found for this signature in database
GPG Key ID: 6C34E8199743C270

View File

@ -8,11 +8,13 @@ import os
import os.path import os.path
import anki.db import anki.db
from anki.media import MediaManager
logger = logging.getLogger("ankisyncd.media") logger = logging.getLogger("ankisyncd.media")
class ServerMediaManager(object): class ServerMediaManager(MediaManager):
def __init__(self, col): def __init__(self, col, server=True):
super().__init__(col, server)
self._dir = re.sub(r"(?i)\.(anki2)$", ".media", col.path) self._dir = re.sub(r"(?i)\.(anki2)$", ".media", col.path)
self.connect() self.connect()