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 /wscript_build.py | |
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.
Diffstat (limited to 'wscript_build.py')
0 files changed, 0 insertions, 0 deletions