<%@ page contentType="text/html" %>
<%
// ausloggen
if (request.getParameter("logoff") != null) {
session.invalidate();
response.sendRedirect("index.jsp");
return;
}
%>
Benutzerkennung auswerten
Sie sind als Benutzer «<%= request.getRemoteUser() %>»
<%
// verwendetes Passwort abfragen
if (request.getUserPrincipal() != null) {
java.security.Principal p = request.getUserPrincipal();
if ( org.apache.catalina.realm.GenericPrincipal.class.getName().equals( p.getClass().getName() ) ) {
String credential = (String) p.getClass().getMethod("getPassword", null).invoke(p, null);
out.println( "mit dem Passwort «" + credential + "»" );
}
}
%>
eingeloggt.
<%
// Rolle überprüfen
String role = request.getParameter("role");
if (role == null)
role = "";
if (role.length() > 0) {
if (request.isUserInRole(role)) {
out.println( "Sie sind Mitglied in der Gruppe «" + role + "»");
} else {
out.println( "Sie sind nicht Mitglied in der Gruppe «" + role + "»");
}
}
%>
Ausloggen.