}
/* check session validity */
Session session = req.getSession (false);
if (session != null) {
session.invalidate ();
getLogger ().debug ("SESSIONINVALIDATOR: session invalidated");
} else {
getLogger ().debug ("SESSIONINVALIDATOR: no session object");
}