From d05da3f44c7854d278a7b026c10ac8572ef3add9 Mon Sep 17 00:00:00 2001 From: DYefremov Date: Mon, 16 Dec 2019 15:45:41 +0300 Subject: [PATCH] minor player fix --- app/tools/media.py | 1 + app/ui/main_app_window.py | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/app/tools/media.py b/app/tools/media.py index 2df7c3ea..3479b29c 100644 --- a/app/tools/media.py +++ b/app/tools/media.py @@ -11,6 +11,7 @@ class Player: from app.tools.vlc import EventType except OSError as e: log("{}: Load library error: {}".format(__class__.__name__, e)) + raise ImportError else: self._is_playing = False args = "--quiet {}".format("" if sys.platform == "darwin" else "--no-xlib") diff --git a/app/ui/main_app_window.py b/app/ui/main_app_window.py index 4300ab15..f18a788b 100644 --- a/app/ui/main_app_window.py +++ b/app/ui/main_app_window.py @@ -1585,7 +1585,7 @@ class Application(Gtk.Application): try: self._player = Player.get_instance(rewind_callback=self.on_player_duration_changed, position_callback=self.on_player_time_changed) - except (NameError, AttributeError): + except (ImportError, NameError, AttributeError): self.show_error_dialog("No VLC is found. Check that it is installed!") return else: