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 + '"]');