From 261013cf5f315456eaf69ea777daa689b3c32bd2 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Mon, 19 Jun 2017 17:19:48 +0200
Subject: [PATCH] when session expires main page is reloaded
---
frontend-js/src/main/js/ServerConnector.js | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/frontend-js/src/main/js/ServerConnector.js b/frontend-js/src/main/js/ServerConnector.js
index 2e4271142c..dd56cdb1f1 100644
--- a/frontend-js/src/main/js/ServerConnector.js
+++ b/frontend-js/src/main/js/ServerConnector.js
@@ -76,6 +76,12 @@ ServerConnector.getMaxOverlayColorInt = function() {
ServerConnector.readFile = function(url, description) {
var self = this;
+
+ if (self.getSessionData().getToken() === undefined) {
+ self.getSessionData().setLogin(undefined);
+ window.location.reload(false);
+ }
+
if (description === undefined) {
description = url;
}
--
GitLab