Hello, I would be inclined to revert the changes in FileUtils.toURI where we are using URI.toASCIIString(). Since the new encoding and decoding routines do the right thing to encode non ASCII characters, we should be on the safe side.
@Jesse : thoughts ? Cheers, Antoine > --- Ursprüngliche Nachricht --- > Von: Stefan Bodewig <[EMAIL PROTECTED]> > An: dev@ant.apache.org > Betreff: Re: svn commit: r358117 - > /ant/core/trunk/src/testcases/org/apache/tools/ant/taskdefs/optional/TraXLiaisonTest.java > Datum: Wed, 21 Dec 2005 06:03:05 +0100 > > On Tue, 20 Dec 2005, Antoine Levy-Lambert <[EMAIL PROTECTED]> wrote: > > > 2) what worries me is that what we now get by calling > > FileUtils.toURI seems to start with file:/// under JDK 1.5 and > > file:/ under JDK 1.4. Is this good or bad ? or indifferent ? Not > > sure. Jesse Glick wrote [1] that file URIs should start with file:/ > > . the extra double slash being not needed. > > file is a hierarchical URL protocol, so in general it takes the form > file://host/path, the three slash form is the special case of host > being localhost. It may be true that the Java runtime doesn't need > three slashes, but I'm not sure this applies to file URLs in general. > > Stefan > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] > --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
