From d23721d35f313fe6a13f37bd425cd96b85dde5cc Mon Sep 17 00:00:00 2001 From: Doug Blank Date: Sun, 1 Nov 2009 15:45:53 +0000 Subject: [PATCH] Allow plugin manager to follow links (so you can add a link in plugins to a development dir) svn: r13479 --- src/gen/plug/_manager.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gen/plug/_manager.py b/src/gen/plug/_manager.py index 45f00c77f..8453a83a4 100644 --- a/src/gen/plug/_manager.py +++ b/src/gen/plug/_manager.py @@ -106,7 +106,7 @@ class BasePluginManager(object): if not os.path.isdir(direct): return False # return value is True for error - for (dirpath, dirnames, filenames) in os.walk(direct): + for (dirpath, dirnames, filenames) in os.walk(direct, followlinks=True): # Skip hidden directories. for dirname in dirnames: if dirname.startswith("."):