On Tue 19 Jul 2011 09:51, Peter Brett <pe...@peter-b.co.uk> writes: > 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. ;-)
In that it specifies "foo" as the host. file:///path appears to be invalid according to RFC3986, as the `host' part is not optional if // follows the scheme. However, file:///etc/hosts is used as an example in the RFC. I'm not sure what to think here. What is clear is that file:///foo is definitely a "normal" URI, in practice, so we should probably interpret ://[/?#] as indicating no authority, instead of being invalid. I have done this in stable-2.0. Andy -- http://wingolog.org/
