Closed jtjeferreira closed 3 years ago
Actually File.toUri also calls isDirectory, so I changed the implementation again, and this time is one order of magnitude faster
[info] Benchmark Mode Cnt Score Error Units
[info] FileIsoStringBenchmark.fileB thrpt 3 967045.854 ± 343359.509 ops/s
[info] Benchmark Mode Cnt Score Error Units
[info] FileIsoStringBenchmark.fileB thrpt 3 9664193.530 ± 2379893.741 ops/s
The travis failure is already present in 58a363cd6ae7fad2f67202ba3977854132fe3a55
just realized the PR title does not reflect the final solution in case you make some kind of release notes...
Path.toUri does a
stat
to check if it is an directory...The result is not the same
file:///tmp/
vsfile:/tmp/
but I found this https://stackoverflow.com/questions/46610910/how-to-obtain-correct-uri-of-a-local-file stating that both are valid formats...