diff options
author | 2015-06-16 23:07:46 +0200 | |
---|---|---|
committer | 2015-06-16 23:07:46 +0200 | |
commit | dbdc46c97a32c53d41a19908aa365e7d81025c3e (patch) | |
tree | 033d4e697115e7d9176eef840951f07cd6e8fe69 /audio/filter | |
parent | b2781c11ed0ee68b42013df6000d5427a5c988f0 (diff) |
player: do not exit when a seek gets queued
Seems logical.
Note that if playback otherwise ends while playback is active and a seek
is still queued, we still exit. Otherwise you couldn't end playback by
seeking past the end of the file (which is classic MPlayer and mpv
behavior).
Diffstat (limited to 'audio/filter')
0 files changed, 0 insertions, 0 deletions