-
Committer:
Kevin Locke
-
Date:
2010-10-25 14:17:23 UTC
-
Revision ID:
klocke@digitalenginesoftware.com-20101025141723-6y1tdmbqas8dbwl8
Ensure prefix ends with empty path component
WARNING: Functionality change
In order to prevent the given prefix from matching directories which
begin with the last component of prefix, ensure that prefix ends with an
empty path component (causing a tailing slash on POSIX systems).
Otherwise the prefix /foo/b would also include /foo/bar.
Note: If this functionality really was intended, wherever prefix is
removed from a path, the result should not start with a directory
separator (since it would result in a "/" first element in the return
value from path.split_all).
Signed-off-by: Kevin Locke <klocke@digitalenginesoftware.com>