Package ch.epfl.tequila.client.system

Class Summary
TequilaFilter Filter thats checks if the user has been authenticated.
TequilaHttpServletRequest Simple wrapper around HttpServletRequest used to return the TequilaPrincipal for request.getUserPrincipal().