Howdy, >> 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()
I think Craig was saying tomcat should be case insensitive here. Therefore, a good course of action would be for you to submit a patch to the relevant class in tomcat which modifies the isUserInRole implementation to ignore case. Yoav Shapira Millennium ChemInformatics This e-mail, including any attachments, is a confidential business communication, and may contain information that is confidential, proprietary and/or privileged. This e-mail is intended only for the individual(s) to whom it is addressed, and may not be saved, copied, printed, disclosed or used by anyone else. If you are not the(an) intended recipient, please immediately delete this e-mail from your computer system and notify the sender. Thank you. --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
