url is updated every 4 seconds in necaessary

frontend-js/src/main/js/GuiConnector.js

@@ -110,14 +110,15 @@ GuiConnector.prototype.init = function () {
 };
 
 
-var lastUrlUpdate = 0;
+var newUrl = "";
 
-function updateUrl(url) {
-  if (lastUrlUpdate + 250 < new Date().getTime()) {
-    lastUrlUpdate = new Date().getTime();
-    window.history.replaceState(null, null, url);
+setInterval(function () {
+  if (!window.location.href.endsWith(newUrl)) {
+    console.log("update: " + newUrl);
+    window.history.replaceState(null, null, newUrl);
   }
-}
+}, 250);
+
 
 /**
  *
@@ -140,7 +141,7 @@ GuiConnector.prototype.setUrlParam = function (key, value) {
         }
       }
     }
-    updateUrl(url);
+    newUrl = url;
   }
 };