1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
| if (request instanceof HttpServletRequest) {
HttpSession session = ((HttpServletRequest) request).getSession(false);
// -- récup le user dans la session
// retourne authorized = true; si présent
}
if (authorized) {
chain.doFilter(request, response);
return;
} else if (filterConfig != null) {
String host = request.getServerName();
String session_page = filterConfig.getInitParameter("session_page");
if (session_page != null && !"".equals(session_page)) {
filterConfig.getServletContext().getRequestDispatcher(session_page).forward(request, response);
return;
}
} |