From c6ec9e44e4fc58d822d9cfab1740e80e5af97ae3 Mon Sep 17 00:00:00 2001 From: BlueGreenMagick <50060875+BlueGreenMagick@users.noreply.github.com> Date: Sun, 7 Jun 2020 10:35:48 +0900 Subject: [PATCH] add type hint for media dir --- pylib/anki/media.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pylib/anki/media.py b/pylib/anki/media.py index 15d0e37c9..cb3399e74 100644 --- a/pylib/anki/media.py +++ b/pylib/anki/media.py @@ -44,8 +44,8 @@ class MediaManager: def __init__(self, col: anki.collection.Collection, server: bool) -> None: self.col = col.weakref() + self._dir: Optional[str] = None if server: - self._dir = None return # media directory self._dir = media_paths_from_col_path(self.col.path)[0] @@ -82,7 +82,7 @@ class MediaManager: # may have been deleted pass - def dir(self) -> Any: + def dir(self) -> Optional[str]: return self._dir def force_resync(self) -> None: