From bdb2414c93a9d3739655bd60e24d3e713c92b3c5 Mon Sep 17 00:00:00 2001 From: Andrew Charneski Date: Mon, 25 Mar 2024 00:42:55 -0400 Subject: [PATCH] Update main.js --- webui/src/main/resources/application/main.js | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/webui/src/main/resources/application/main.js b/webui/src/main/resources/application/main.js index a9c7a735..34514865 100644 --- a/webui/src/main/resources/application/main.js +++ b/webui/src/main/resources/application/main.js @@ -163,13 +163,13 @@ function onWebSocketText(event) { const messageId = event.data.substring(0, firstCommaIndex); const messageVersion = event.data.substring(firstCommaIndex + 1, secondCommaIndex); const messageContent = event.data.substring(secondCommaIndex + 1); - if (messageVersion <= (messageVersions[messageId] || 0)) { - console.log("Ignoring message with id " + messageId + " and version " + messageVersion); - return; - } else { + // if (messageVersion <= (messageVersions[messageId] || 0)) { + // console.log("Ignoring message with id " + messageId + " and version " + messageVersion); + // return; + // } else { messageVersions[messageId] = messageVersion; messageMap[messageId] = messageContent; - } + // } // Cleanup: remove temporary event listeners const messageDivs = document.querySelectorAll('[id="' + messageId + '"]');