On Jul  6, 2000, Bernard Dautrevaux <[EMAIL PROTECTED]> wrote:

> If a path starts by a double '/' (that is for any UNC path, quite often
> found on DOS boxes), we will strip one of these leading '/'

Nope.  We'll only do it if we're given `//server00', for example; this
will become `/'.  For `//server00/foo', we'll get the expected
`//server00'.  IMO, it's not worth the trouble to try to handle the
`//foo' -> `//foo' case.

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                  aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp        oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist    *Please* write to mailing lists, not to me

Reply via email to