From 06c8ec27f61a6958cb4eb32b18d24bc5686e6c8e Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Thu, 19 Jan 2017 07:56:49 +0100
Subject: player: also log if completely prefetched URL is discarded

Seems like quite an important/interesting case?
---
 player/loadfile.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'player')

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);
         }
     }
-- 
cgit v1.2.3