player: also log if completely prefetched URL is discarded

Seems like quite an important/interesting case?

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