Hi. More of a general curiosity question :
To get the authenticated user-id from within a filter or a servlet, one calls HttpServletRequest.getUserPrincipal.getName() e.g.
But where and more mysteriously how, does this Principal get set ? I cannot find any setUserPrincipal() anywhere. Thanks --------------------------------------------------------------------- To start a new topic, e-mail: users@tomcat.apache.org To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]