From 45e0e6dbad804e64caa86f1e692e7c5fa849e071 Mon Sep 17 00:00:00 2001 From: Gilles DAVID Date: Thu, 23 Mar 2017 17:25:30 +0100 Subject: [PATCH] salome_pluginsmanager less verbose --- src/SalomeApp/salome_pluginsmanager.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/SalomeApp/salome_pluginsmanager.py b/src/SalomeApp/salome_pluginsmanager.py index 19d49c6d6..3b5f3d2fa 100644 --- a/src/SalomeApp/salome_pluginsmanager.py +++ b/src/SalomeApp/salome_pluginsmanager.py @@ -164,13 +164,16 @@ class PluginsManager: # MODULES plugins are supposed to be located in the # installation folder of the module, in the subdirectory # "share/salome/plugins". We first look for these directories. - for key in list(os.environ.keys()): + searched = [] + for key in os.environ.keys(): if key.endswith("_ROOT_DIR"): rootpath=os.environ[key] dirpath=os.path.join(rootpath,PLUGIN_PATH_PATTERN) - if os.path.isdir(dirpath) and dirpath not in self.plugindirs: + if os.path.isdir(dirpath) and dirpath not in self.plugindirs + searched: logger.debug("Looking for plugins in the directory %s ..."%dirpath) walktree(dirpath,self.analyseFile) + if dirpath not in self.plugindirs and dirpath not in searched: + searched.append(dirpath) # USER plugins directory user_dir = os.path.expanduser("~/.config/salome/Plugins") -- 2.39.2