tomcat-users mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From André Warnier>
Subject HttpServletRequest.getUserPrincipal
Date Mon, 17 Nov 2008 15:18:06 GMT

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.


To start a new topic, e-mail:
To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message