From f086e6d3c15e4b732f2249edd20b168270a0c4e1 Mon Sep 17 00:00:00 2001 From: ed Date: Mon, 2 May 2022 19:08:37 +0200 Subject: [PATCH] best-effort recovery when chrome desyncs the mediaSession --- copyparty/web/browser.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/copyparty/web/browser.js b/copyparty/web/browser.js index 01889cd9..74b6a263 100644 --- a/copyparty/web/browser.js +++ b/copyparty/web/browser.js @@ -1104,6 +1104,7 @@ var mpui = (function () { fpreloaded = null; r.progress_updater = function () { + //console.trace(); timer.add(updater_impl, true); }; @@ -1467,6 +1468,7 @@ function play(tid, is_ev, seek) { mp.au2 = new Audio(); mp.au.onerror = evau_error; mp.au.onprogress = pbar.drawpos; + mp.au.onplaying = mpui.progress_updater; mp.au.onended = next_song; widget.open(); } @@ -1483,6 +1485,7 @@ function play(tid, is_ev, seek) { t.onerror = t.onprogress = t.onended = null; mp.au.onerror = evau_error; mp.au.onprogress = pbar.drawpos; + mp.au.onplaying = mpui.progress_updater; mp.au.onended = next_song; } else