From 708f8a8f4350ccc88d29b7fa42c0dd4e725cc095 Mon Sep 17 00:00:00 2001 From: Fabio Date: Wed, 28 Oct 2015 16:33:47 +0100 Subject: [PATCH] excludedir doesn't have to exist --- src/configfile/check_excludepath.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/configfile/check_excludepath.py b/src/configfile/check_excludepath.py index 0e1d7bf..587d427 100644 --- a/src/configfile/check_excludepath.py +++ b/src/configfile/check_excludepath.py @@ -14,10 +14,10 @@ def check_excludepath(parser, section, path, debug): if item == '': continue else: - if not os.path.isdir(item) and not os.path.isfile(item): + if not item.startswith(path): print >> sys.stderr, ("Error in section '%s': " - "'excludepath' '%s' doesn't exist" - % (section, item)) + "'excludepath' must be inside 'path'" + % section) excludepath.append(False) else: excludepath.append(item)