Re: [PROPOSAL] Remove case insensitivity option for Tomcat 7

2009-06-12 Thread Yoav Shapira
On Fri, Jun 12, 2009 at 4:09 AM, Mark Thomas wrote: > I think we have kept the backwards compatibility option for long enough. > Given the security implications I'd like to deprecate it for Tomcat 6 > and remove it for Tomcat 7. +1. Yoav --

Re: [PROPOSAL] Remove case insensitivity option for Tomcat 7

2009-06-12 Thread Tim Funk
+1 -Tim Mark Thomas wrote: After a long discussion on the users the list [1], the question was asked: "Is this feature required?" - To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail

Re: [PROPOSAL] Remove case insensitivity option for Tomcat 7

2009-06-12 Thread jean-frederic clere
Mark Thomas wrote: After a long discussion on the users the list [1], the question was asked: "Is this feature required?" Diving back into the archives, it appears it was introduced in 3.1.1 as a backwards compatibility option for Windows users after Tomcat was made case sensitive on that platfo

[PROPOSAL] Remove case insensitivity option for Tomcat 7

2009-06-12 Thread Mark Thomas
After a long discussion on the users the list [1], the question was asked: "Is this feature required?" Diving back into the archives, it appears it was introduced in 3.1.1 as a backwards compatibility option for Windows users after Tomcat was made case sensitive on that platform. [2] I think we h