Chenjp opened a new pull request, #820: URL: https://github.com/apache/tomcat/pull/820
fix incorrect case sensitivity result when the target base directory (dir name not in english) on windows is changed to case sensitive. Previous behavior: 1. Windows file system. 2. tomcat/webapps is case insensitive. 3. tomcat/webapps/根目录 is changed to case sensitive. 4. DirResourceSet#isCaseSensitive returns case insensitive of directory "tomcat/webapps/根目录". 5. Unexpected. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
