ulrich
2020-12-28 df19d75203dde02dc574a94b1572cd942967ae20
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';
    });
  };