when opening export tab with session expired redirection is provided

frontend-js/src/main/js/gui/leftPanel/ProjectInfoPanel.js

@@ -162,6 +162,12 @@ ProjectInfoPanel.prototype._createInfoPanelGui = function () {
     type: "a",
     href: ServerConnector.getServerBaseUrl() + "/export.xhtml?id=" + projectId,
     content: '<i class="fa fa-mail-forward">&nbsp;EXPORT',
+    onclick: function () {
+      //TODO session expired hack (it should be done on the export.xhtml web page)
+      if (ServerConnector.getSessionData().getToken() === undefined) {
+        exportButton.href = ServerConnector.getServerBaseUrl() + "login.xhtml?from=" + encodeURI(exportButton.href);
+      }
+    }
   });
   liElement = Functions.createElement({
     type: "li",