[jira] Closed: (GERONIMO-1463) Tomcat doesn't always get the right servlet name when evaluating isUserInRole

2006-01-18 Thread John Sisson (JIRA)
[ http://issues.apache.org/jira/browse/GERONIMO-1463?page=all ] John Sisson closed GERONIMO-1463: - Resolution: Fixed > Tomcat doesn't always get the right servlet name when evaluating isUserInRole > --

Re: [jira] Closed: (GERONIMO-1463) Tomcat doesn't always get the right servlet name when evaluating isUserInRole

2006-01-12 Thread Jeff Genender
Yes it should. I agree. John Sisson wrote: > This sounds like a bug. Shouldn't it also be fixed in 1.0.1 ? > > John > > David Jencks (JIRA) wrote: >> [ http://issues.apache.org/jira/browse/GERONIMO-1463?page=all ] >> David Jencks closed GERONIMO-1463: >> -

Re: [jira] Closed: (GERONIMO-1463) Tomcat doesn't always get the right servlet name when evaluating isUserInRole

2006-01-12 Thread John Sisson
This sounds like a bug. Shouldn't it also be fixed in 1.0.1 ? John David Jencks (JIRA) wrote: [ http://issues.apache.org/jira/browse/GERONIMO-1463?page=all ] David Jencks closed GERONIMO-1463: -- Resolution: Fixed Sending modules/tomcat

[jira] Closed: (GERONIMO-1463) Tomcat doesn't always get the right servlet name when evaluating isUserInRole

2006-01-12 Thread David Jencks (JIRA)
[ http://issues.apache.org/jira/browse/GERONIMO-1463?page=all ] David Jencks closed GERONIMO-1463: -- Resolution: Fixed Sending modules/tomcat/src/java/org/apache/geronimo/tomcat/realm/TomcatGeronimoRealm.java Sending modules/tomcat/s