Ito Kazumitsu wrote:
> I am afraid java.io.File#toURI() is not correctly implemented now.
I think I wrote that, but I don't know what I was smoking at the time.
> + return new URI("file", null, null, -1,
> + abspath.replace(separatorChar, '/'), null, null);
This isn't going to work on Windows. I don't really know what the right
solution is (file paths and URIs are driving me insane), but I think, at
the very least, we need something like this:
String path = abspath.replace(separatorChar, '/');
if(!path.startsWith("/"))
path = "/" + path;
return new URI(...);
Otherwise the "c:\foo.txt" style paths are handled incorrectly. For new
File("c:\\foo.txt").toURI().toString(), Sun returns "file:/c:/foo.txt".
Of course, there are also the UNC paths, which are even worse.
\\server\share\file is turned into file:////server/share/file by Sun.
Maybe this method needs to move to VMFile. Sigh.
Regards,
Jeroen
_______________________________________________
Classpath mailing list
[EMAIL PROTECTED]
http://lists.gnu.org/mailman/listinfo/classpath
