avoid race condition with push_history being undefined

2024-05-16 19:42:28 +02:00
parent e25da60bb9
commit ebfde25a35
2 changed files with 4 additions and 1 deletions
--- a/html/script.js
+++ b/html/script.js
@@ -682,6 +682,8 @@ function initialize() {
        return;
    }

+    jQuery.when(historyQueued).done(push_history);
+
    jQuery.when(configureReceiver, heatmapDefer).done(function() {

        if (receiverJson) {