ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jesse Glick <>
Subject Re: File.toURL() and
Date Tue, 21 Aug 2012 22:04:17 GMT
On 08/21/2012 03:13 PM, Nicolas Lalevée wrote:
> Or is there some code which rely on the broken behavior?

Not that I know of. See the various commented-out code blocks and "XXX" comments in this class;
it has a long and messy history. I do not know whether the current code 
successfully works around all of File.toURL's failures.

Just beware that File.toUri is also broken for UNC paths. For a hint, [1] shows some analogous
code in NetBeans which uses the better Path.toUri on JDK 7+, simplifying 
file:///path to file:/path; falling back to File.toUri with a manual file:////server/share/path
-> file://server/share/path correction.

You may also need to be wary of non-ASCII characters in pathnames on operating systems not
using UTF-8 consistently. The explanation I got from the author of Path.toUri 
([2] p.c.) is that file:///some/path as produced by Path.toUri is expected to retain the original
octet sequence used to construct the pathname, whereas file:/some/path 
may lack this information. The issue might affect interactions with forked processes. I do
not understand this very well (on Linux you never have to worry about this kind 
of nonsense) but it may make sense to you.


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message