[jboss-user] [JBoss Portal] - Re: Determine portal logged-in user from external servlet