player: also log if completely prefetched URL is discarded

Seems like quite an important/interesting case?
This commit is contained in:
wm4 2017-01-19 07:56:49 +01:00
parent e277fadd60
commit 06c8ec27f6
1 changed files with 4 additions and 1 deletions

View File

@ -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);
}
}