Merge pull request #3433 from nkmerrill/fastforwardfix

deps/media-playback: Fix fast-forward after reset
This commit is contained in:
Jim 2020-09-07 19:15:40 -07:00 committed by GitHub
commit 0ba9b201a7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -691,6 +691,8 @@ static inline bool mp_media_thread(mp_media_t *m)
if (!is_active || pause) {
if (os_sem_wait(m->sem) < 0)
return false;
if (pause)
reset_ts(m);
} else {
timeout = mp_media_sleepto(m);
}