From: Bernhard R. Link <brlink@debian.org>
Date: Sun, 24 Jan 2010 19:04:24 GMT
Subject: Re: [PATCH] Handle double slashes in make_relative_path()
Message-ID: <20100124190424.GA30585@pcpool00.mathematik.uni-freiburg.de>
In-Reply-To: <201001241457.43297.trast@student.ethz.ch>

* Thomas Rast <trast@student.ethz.ch> [100124 14:58]:
> POSIX specifies that multiple slashes must be treated as if they were
> a single slash (except as in the next bullet point).  Leading _double_
> slashes may be treated implementation-dependently. [1]  Non-leading
> double slashes do not seem to be specified.

http://www.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap03.html#tag_03_266

| 3.266 Pathname
|
| A character string that is used to identify a file. In the context of
| IEEE Std 1003.1-2001, a pathname consists of, at most, {PATH_MAX} bytes,
| including the terminating null byte. It has an optional beginning
| slash, followed by zero or more filenames separated by slashes. A
| pathname may optionally contain one or more trailing slashes.
| Multiple successive slashes are considered to be the same as one
| slash.