geronimo-dev mailing list archives

On Tuesday, Aug 26, 2003, at 14:42 Europe/London, Jason Dillon wrote:

>> URI spaces should be escaped into %20 IIRC. So 'new URI("Hello 
>> World")' may fail, while 'new URI("Hello%20World")' may work. Of 
>> course, it then depends on the URI being properly unencoded at the 
>> other end where required.
>
> I think %20 freaks out with file URLs though... :-(

File URLs in a URI, or File URIs ? Or using URI.getURL() ?

Alex.