Re: [PR] WebResource read/write lock key changed to in lowercase arbitrarily [tomcat]

2025-02-20 Thread via GitHub
Chenjp closed pull request #829: WebResource read/write lock key changed to in lowercase arbitrarily URL: https://github.com/apache/tomcat/pull/829 -- 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 th

[PR] WebResource read/write lock key changed to in lowercase arbitrarily [tomcat]

2025-02-19 Thread via GitHub
Chenjp opened a new pull request, #829: URL: https://github.com/apache/tomcat/pull/829 Discarding the file name case sensitivity of resource directory. Detection of a directory case sensitivity is expansive, we have to create file with different upper/lower case name and check result.