From ebfde25a3592d1959314e50d210bae41e85aeedd Mon Sep 17 00:00:00 2001
From: Matthias Wirth <matthias.wirth@gmail.com>
Date: Thu, 16 May 2024 19:42:28 +0200
Subject: [PATCH] avoid race condition with push_history being undefined

---
 html/early.js  | 3 ++-
 html/script.js | 2 ++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/html/early.js b/html/early.js
index 2807724..a2ababc 100644
--- a/html/early.js
+++ b/html/early.js
@@ -28,6 +28,7 @@ var receiverJson;
 let deferHistory;
 let historyLoaded = jQuery.Deferred();
 let configureReceiver = jQuery.Deferred();
+let historyQueued = jQuery.Deferred();
 let historyTimeout = 60;
 let globeIndex = 0;
 let globeIndexGrid = 0;
@@ -576,8 +577,8 @@ function get_history() {
             }
         }
 
-        push_history();
     }
+    historyQueued.resolve();
 }
 
 function get_history_item(i) {
diff --git a/html/script.js b/html/script.js
index f54204e..7c26138 100644
--- 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) {