diff options
-rw-r--r-- | player/javascript/defaults.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/player/javascript/defaults.js b/player/javascript/defaults.js index 037f931d94..91f1f52517 100644 --- a/player/javascript/defaults.js +++ b/player/javascript/defaults.js @@ -751,7 +751,7 @@ g.mp_event_loop = function mp_event_loop() { wait = 0; // poll the next one } else { wait = process_timers() / 1000; - if (wait != 0) { + if (wait != 0 && iobservers.length) { notify_idle_observers(); // can add timers -> recalculate wait wait = peek_timers_wait() / 1000; } |