diff options
| author | wm4 <wm4@nowhere> | 2020-02-28 15:41:45 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2020-02-28 15:41:45 +0100 |
| commit | 85576f31a9cc25ca75ac7d265aaaf211f76a4842 (patch) | |
| tree | faa266759587ee12456f338571b8a90f18fdb044 /player/video.c | |
| parent | efe43d768fa4dd13329dfa69831aedbdff948718 (diff) | |
| download | mpv-85576f31a9cc25ca75ac7d265aaaf211f76a4842.tar.bz2 mpv-85576f31a9cc25ca75ac7d265aaaf211f76a4842.tar.xz | |
player: attempt to fix playback end on hr-seeking past EOF again
This tries to fix #7206 (hr-seeking past EOF does not stop playback)
again. Commit 57fbc9cd76f7 should have fixed this, but trying it again
(using that git revision), it often did not work. Whatever the fuck.
So add another dumb special case that will break within weeks. Note that
the check in handle_eof() had no effect, since execute_queued_seek() is
called later, which cancels EOF in the same case.
Diffstat (limited to 'player/video.c')
0 files changed, 0 insertions, 0 deletions