Fix an error in killSalome.py

diff --git a/bin/killSalomeWithPort.py b/bin/killSalomeWithPort.py
index acc541c2db19660f7ea640724e8311a796e3e060..84774cef326c011c1713c1d34f3e1a1c2c56c27b 100755 (executable)
--- 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,