From 5275f99997c3638c295afb99127d50976e62e0a0 Mon Sep 17 00:00:00 2001 From: gdd Date: Wed, 27 Jun 2012 09:44:40 +0000 Subject: [PATCH] Add os.path.realpath --- bin/killSalomeWithPort.py | 4 ++-- bin/salome_session.py | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/killSalomeWithPort.py b/bin/killSalomeWithPort.py index a8a046904..57729aa88 100755 --- a/bin/killSalomeWithPort.py +++ b/bin/killSalomeWithPort.py @@ -93,7 +93,7 @@ def appliCleanOmniOrbConfig(port): #Run outside application context pass else: - dir = os.path.join(home, appli,"USERS") + dir = os.path.join(os.path.realpath(home), appli,"USERS") omniorb_config = generateFileName(dir, prefix="omniORB", extension="cfg", hidden=True, @@ -152,7 +152,7 @@ def shutdownMyPort(port): appli = os.getenv("APPLI") kwargs = {} if appli is not None: - home = os.path.join(home, appli,"USERS") + home = os.path.join(os.path.realpath(home), appli,"USERS") kwargs["with_username"]=True pass omniorb_config = generateFileName(home, prefix="omniORB", diff --git a/bin/salome_session.py b/bin/salome_session.py index 81a04a058..d2ca5b094 100644 --- a/bin/salome_session.py +++ b/bin/salome_session.py @@ -69,7 +69,7 @@ def searchFreePort(): appli = os.getenv("APPLI") kwargs={} if appli is not None: - home = os.path.join(home, appli,"USERS") + home = os.path.join(os.path.realpath(home), appli,"USERS") kwargs["with_username"]=True omniorb_config = generateFileName(home, prefix="omniORB", extension="cfg", -- 2.39.2