Re: [tomcat] branch main updated: Use a better "move" method.

2023-10-18 Thread Christopher Schultz
All, I've had this sitting around in a stash for ages; just finally applied it, now. If there are no objections, I'll back-port this to the other branches. java.nio.file.Files.move() was added in Java 7 so it should be available in all currently-supported environments. -chris On 10/18/23

[tomcat] branch main updated: Use a better "move" method.

2023-10-18 Thread schultz
This is an automated email from the ASF dual-hosted git repository. schultz 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 7d301f5f9a Use a better "move" method. 7d301f5f9a i