On Thu, Jul 15, 2010 at 22:59 UTC, Stefano Lattarini
<stefano.lattar...@gmail.com> wrote:
> At Thursday 15 July 2010, Ralf Wildenhues wrote:
>> No, the patch should not modify initial double slash, that is not
>> the same as a single slash in general.
> Why?

I hope it's not rude for me to dive in from a lurking position.  The
"Why?" is ambiguous, but I can address the assumed question "why is
initial double slash not the same as a single slash in general?"

There are likely systems out there where

/a/path/to/file

is equivalent to

//a/path/to/file

but on some systems the two refer to different namespaces, with
//a/path/to/file being a reference to file "file" in directory "to" on
share "path" of fileserver "a".  That is, just like \\a\path\to\file
would be interpreted by Windows' networking.

Cheers,
Dave Hart

Reply via email to