url to export shouldn't contain double '/'

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

@@ -167,7 +167,7 @@ ProjectInfoPanel.prototype._createInfoPanelGui = function () {
 
   var exportButton = Functions.createElement({
     type: "a",
-    href: ServerConnector.getServerBaseUrl() + "/export.xhtml?id=" + projectId,
+    href: ServerConnector.getServerBaseUrl() + "export.xhtml?id=" + projectId,
     content: '<i class="fa fa-mail-forward">&nbsp;EXPORT',
     xss: false
   });