tomcat-users mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From André Warnier ...@ice-sa.com>
Subject HttpServletRequest.getUserPrincipal
Date Mon, 17 Nov 2008 15:18:06 GMT
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: users-unsubscribe@tomcat.apache.org
For additional commands, e-mail: users-help@tomcat.apache.org


Mime
View raw message