[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

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

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 Yoav Shapira
On Fri, Jun 12, 2009 at 4:09 AM, Mark Thomasma...@apache.org 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