From cda1ce9d17d577a5c086f3d93a4e97695780ce31 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eray=20=C3=96zkural?= Date: Fri, 24 Jun 2005 15:28:27 +0000 Subject: [PATCH] * haksizlik etmeyelim, yamuk bir reduce'u da duzeltmistik removepathprefix'de --- pisi/util.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pisi/util.py b/pisi/util.py index 02597446..fc1f7bc7 100644 --- a/pisi/util.py +++ b/pisi/util.py @@ -74,10 +74,11 @@ def commonprefix(l): # but this one is necessary def subpath(a, b): - """find if path a is before b in the directory tree""" + "find if path a is before b in the directory tree" return prefix(os.path.split(a), os.path.split(b)) def removepathprefix(a, b): + "remove path prefix a from p, finding the pathname rooted at a" comps = remove_prefix(os.path.split(a), os.path.split(b)) if len(comps) > 0: return os.path.join(*tuple(comps))