JSPs entfernt

ulrich

2020-12-27 5ef7f0b3dccf1ce5c4f4271a2eaec5158615253d

 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';
    });
  };