diff options
| -rw-r--r-- | player/loadfile.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/player/loadfile.c b/player/loadfile.c index 46f41644c1..440b29d6a9 100644 --- a/player/loadfile.c +++ b/player/loadfile.c @@ -1135,6 +1135,8 @@ goto_reopen_demuxer: ; MP_VERBOSE(mpctx, "EOF code: %d \n", mpctx->stop_play); +terminate_playback: + if (mpctx->stop_play == PT_RELOAD_DEMUXER) { mpctx->stop_play = KEEP_PLAYING; mpctx->playback_initialized = false; @@ -1145,8 +1147,6 @@ goto_reopen_demuxer: ; goto goto_reopen_demuxer; } -terminate_playback: - mp_nav_destroy(mpctx); if (mpctx->stop_play == KEEP_PLAYING) |