diff options
| author | wm4 <wm4@nowhere> | 2014-10-10 15:15:58 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-10-10 15:15:58 +0200 |
| commit | 19d21103e564d05d830aaa6d60a3a7fa1f122dca (patch) | |
| tree | 91a15d3dfa0ff98ee54158ebf05685d0857228d9 | |
| parent | 299bf5c017d90536911eb2b9f91b06f94dbc268c (diff) | |
| download | mpv-19d21103e564d05d830aaa6d60a3a7fa1f122dca.tar.bz2 mpv-19d21103e564d05d830aaa6d60a3a7fa1f122dca.tar.xz | |
player: exit if audio init fails and there's no video
Seems logical. For some reason, the player allows deselecting both audio
and video stream without quitting (a deliberate feature of which I have
no idea why it was added years ago), so this is needed.
| -rw-r--r-- | player/audio.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/player/audio.c b/player/audio.c index e8fa4f3592..e5cdd671e5 100644 --- a/player/audio.c +++ b/player/audio.c @@ -288,6 +288,8 @@ no_audio: mp_deselect_track(mpctx, track); if (track) MP_INFO(mpctx, "Audio: no audio\n"); + if (!mpctx->current_track[STREAM_VIDEO]) + mpctx->stop_play = PT_NEXT_ENTRY; } // Return pts value corresponding to the end point of audio written to the |