fonts verweis geaendert

ulrich

2020-12-30 e3c1508dd215fb289f705cc3d0c41bbe28bb942a

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