(tomcat) branch main updated: Use WebResource API to differentiate files and directories

2025-05-02 Thread markt
This is an automated email from the ASF dual-hosted git repository. markt pushed a commit to branch main in repository https://gitbox.apache.org/repos/asf/tomcat.git The following commit(s) were added to refs/heads/main by this push: new 3480b07b61 Use WebResource API to differentiate files

(tomcat) branch 11.0.x updated: Use WebResource API to differentiate files and directories

2025-05-02 Thread markt
This is an automated email from the ASF dual-hosted git repository. markt pushed a commit to branch 11.0.x in repository https://gitbox.apache.org/repos/asf/tomcat.git The following commit(s) were added to refs/heads/11.0.x by this push: new 0f01966eb6 Use WebResource API to differentiate f

(tomcat) branch 9.0.x updated: Use WebResource API to differentiate files and directories

2025-05-02 Thread markt
This is an automated email from the ASF dual-hosted git repository. markt pushed a commit to branch 9.0.x in repository https://gitbox.apache.org/repos/asf/tomcat.git The following commit(s) were added to refs/heads/9.0.x by this push: new 8cb95ff032 Use WebResource API to differentiate fil