products/patches/kernel_setenv_161024.patch

   1 diff -pruN KERNEL_orig/bin/setenv.py KERNEL/bin/setenv.py
   2 --- KERNEL_orig/bin/setenv.py
   3 +++ KERNEL/bin/setenv.py
   4 @@ -242,9 +242,22 @@
   5
   6  # -----------------------------------------------------------------------------
   7
   8 +def optimize_environ():
   9 +    """Optimize some variables in environment variables."""
  10 +    for key, val in os.environ.items():
  11 +        if key in ['PATH', 'PYTHONPATH', 'LIB']:
  12 +            lst = []
  13 +            for f in val.split(os.pathsep):
  14 +                if os.path.exists(f) and f not in lst:
  15 +                    lst.append(f)
  16 +            os.environ[key] = os.pathsep.join(lst)
  17 +
  18 +# -----------------------------------------------------------------------------
  19 +
  20  def main(silent=False, exeName=None):
  21      args, modules_list, modules_root_dir = get_config(silent=silent, exeName=exeName)
  22      set_env(args, modules_list, modules_root_dir, silent=silent)
  23 +    optimize_environ()
  24      return args
  25
  26  # -----------------------------------------------------------------------------