diff options
Diffstat (limited to 'player')
| -rw-r--r-- | player/loadfile.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/player/loadfile.c b/player/loadfile.c index 8023428e75..daccfed7c4 100644 --- a/player/loadfile.c +++ b/player/loadfile.c @@ -879,8 +879,11 @@ static void open_demux_reentrant(struct MPContext *mpctx) MP_VERBOSE(mpctx, "Prefetched URL failed, retrying.\n"); cancel_open(mpctx); } else { - if (!done) + if (done) { + MP_VERBOSE(mpctx, "Dropping finished prefetch of wrong URL.\n"); + } else { MP_VERBOSE(mpctx, "Aborting onging prefetch of wrong URL.\n"); + } cancel_open(mpctx); } } |