> Tomcat is case sensitive everywhere except where the servlet > spec says it > is explicitly not case sensitive (such as request.getHeader()). That > includes things like matching role names.
So you're saying that matching role names is NOT case sensitive. I'm guessing this from my own experience on 4.1.18. However, since request.isUserInRole() IS case sensitive, how can I do matching in a NON case sensitive way. Too bad there isn't a request.isUserInRoleIgnoreCase() ;-) Thanks for any tips. Matt --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
