l...@gnu.org (Ludovic Courtès) writes: > What if URI is file://foo?
Per RFC 1630 & RFC 1738, a file URL takes the form:
file://host/path
For local files, the HOST part is elided:
file:///path
So IMHO the posted code isn't *wrong* per se. ;-)
Regards,
Peter
--
Peter Brett <pe...@peter-b.co.uk>
Remote Sensing Research Group
Surrey Space Centre
