[GitHub] [tomcat] martin-g commented on issue #262: Fix and tests for tomcat bug #64226

2020-03-16 Thread GitBox
martin-g commented on issue #262: Fix and tests for tomcat bug #64226 URL: https://github.com/apache/tomcat/pull/262#issuecomment-599576538 > Would you think to do this now or would that switch be better left to Tomcat 10 branch? Let's see what the other devs think about this idea

[GitHub] [tomcat] martin-g commented on issue #262: Fix and tests for tomcat bug #64226

2020-03-16 Thread GitBox
martin-g commented on issue #262: Fix and tests for tomcat bug #64226 URL: https://github.com/apache/tomcat/pull/262#issuecomment-599575635 > Can someone fix the CI please? The error isn't related to my code: I've restarted it. It runs fine so far!

[GitHub] [tomcat] martin-g commented on issue #262: Fix and tests for tomcat bug #64226

2020-03-13 Thread GitBox
martin-g commented on issue #262: Fix and tests for tomcat bug #64226 URL: https://github.com/apache/tomcat/pull/262#issuecomment-598706509 IMO for the branches where Java 8 is minimum we should switch to Java 8 DateTime APIs. java.time.format.DateTimeFormatter is thread-safe.