From e9db1fd8163a6a18c9e9f8a4c0319e2985cba03e Mon Sep 17 00:00:00 2001 From: Stefan Pluecken Date: Sun, 5 Mar 2006 09:16:39 +0000 Subject: [PATCH] small fix for basenames of zero length --- lib/python/Tools/Directories.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py index 6c84216f..6b321c32 100644 --- a/lib/python/Tools/Directories.py +++ b/lib/python/Tools/Directories.py @@ -47,7 +47,7 @@ def resolveFilename(scope, base = ""): if (not pathExists(defaultPaths[scope][0])): os.mkdir(path[0]) - if base[0] == '/': + if len(base > 0) and base[0] == '/': path = "" if not fileExists(path[0] + base): -- 2.30.2