From b43122f7c7f52dc8b29bda184828b4cbd2a6c3d0 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Fri, 21 Dec 2018 15:17:17 +0100
Subject: [PATCH] url is updated every 4 seconds in necaessary
---
frontend-js/src/main/js/GuiConnector.js | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/frontend-js/src/main/js/GuiConnector.js b/frontend-js/src/main/js/GuiConnector.js
index 7dd298b086..bf8036f5ce 100644
--- a/frontend-js/src/main/js/GuiConnector.js
+++ b/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;
}
};
--
GitLab