Derby Port umgestellt auf 1528

ulrich

2021-01-02 be64041ea4cf251d20121a375d95420d7e5296e6

 web/ui/js/app.js

@@ -353,7 +353,7 @@
    var u = '../pub' + m;
    self.http_get(u, function (resp) {
      //$('#userMenu').text('nicht angemeldet');
      window.location.href = '../logout.jsp';
      window.location.href = '../logout.html';
    });
  };