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.
