Salome HOME
[PortManager] Simplify previous fix; no need to change configuration file contents