Hi Sergey,
On 02/07/2019 10:25, Сергей Цыпанов wrote:
Hello,
this is exactly how I've worked this around.
But shouldn't behaviour be the same on all platforms
at least when accessing files on a local drive?
Hierarchical URLs/URIs are specified to use '/' as file separator
This is platform independent.
On the other hand file systems are platform dependents:
the file system file separator is '/' on UNIX and '\' on
windows.
Therefore converting a URL path to a String and then feeding
it to the file system without any validation/conversion is a bug
in your code. As Alan mentioned, an URL path is not a file path
even if it looks like it.
Using Path.of(URI) is the right API, and not a work around.
best regards,
-- daniel
Regards,
Sergey Tsypanov