[PYTHON 3] 1st draft

[modules/geom.git] / bin / geom_setenv.py

diff --git a/bin/geom_setenv.py b/bin/geom_setenv.py
index 198196e6e07e97e422668b0b05209ca3a68fc667..7cc4716207a6ed7dafe9f6441470ba996d7bf375 100644 (file)
--- a/bin/geom_setenv.py
+++ b/bin/geom_setenv.py
@@ -58,7 +58,7 @@ def set_env( args ):
     plugin_list.append("AdvancedGEOM")
 
     # find additional plugins
-    for env_var in os.environ.keys():
+    for env_var in list(os.environ.keys()):
         value = os.environ[env_var]
         if env_var[-9:] == "_ROOT_DIR" and value:
             plugin_root = value
@@ -84,7 +84,7 @@ def set_env( args ):
                         plugin_list.append(plugin)
 
                         # add paths of plugin
-                        if not os.environ.has_key("SALOME_"+plugin+"Resources"):
+                        if "SALOME_"+plugin+"Resources" not in os.environ:
                             resource_path = os.path.join(plugin_root, "share", salome_subdir, "resources", plugin.lower())
                             os.environ["SALOME_"+plugin+"Resources"] = resource_path
                             resource_path_list.append(resource_path)