From: Gilles DAVID <gilles-g.david@edf.fr>
Date: Thu, 23 Mar 2017 16:25:30 +0000 (+0100)
Subject: salome_pluginsmanager less verbose
X-Git-Tag: V9_0_0~7^2~14
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=45e0e6dbad804e64caa86f1e692e7c5fa849e071;p=modules%2Fgui.git

salome_pluginsmanager less verbose
---

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")