From 55232ec1db291fe7f5d4bbe2d96a3d0cf6632a0e Mon Sep 17 00:00:00 2001 From: eap Date: Tue, 9 Jul 2013 14:02:57 +0000 Subject: [PATCH] Fix an error in killSalome.py --- bin/killSalomeWithPort.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bin/killSalomeWithPort.py b/bin/killSalomeWithPort.py index acc541c2d..84774cef3 100755 --- a/bin/killSalomeWithPort.py +++ b/bin/killSalomeWithPort.py @@ -148,6 +148,8 @@ def shutdownMyPort(port, cleanup=True): kwargs = {} if omniorbUserPath is not None: kwargs["with_username"]=True + else: + omniorbUserPath = os.path.realpath(os.path.expanduser('~')) omniorb_config = generateFileName(omniorbUserPath, prefix="omniORB", extension="cfg", hidden=True, -- 2.39.2