From fd6c5ec654a5e98bceaf0f94c7389779751694a0 Mon Sep 17 00:00:00 2001 From: jfa Date: Tue, 13 Dec 2005 14:25:20 +0000 Subject: [PATCH] PAL10873: Debian: HOSTNAME settings. A patch by Paul RASCLE. --- bin/killSalomeWithPort.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/bin/killSalomeWithPort.py b/bin/killSalomeWithPort.py index 221ba981e..bb71dc2f6 100755 --- a/bin/killSalomeWithPort.py +++ b/bin/killSalomeWithPort.py @@ -2,6 +2,14 @@ import os, sys, pickle, signal, commands def getPiDict(port,appname='salome',full=True): + from Utils_Identity import getShortHostName + + if os.getenv("HOSTNAME") == None: + if os.getenv("HOST") == None: + os.environ["HOSTNAME"]=getShortHostName() + else: + os.environ["HOSTNAME"]=os.getenv("HOST") + filedict = [] filedict.append( os.getenv('USER') ) # user name filedict.append( os.getenv('HOSTNAME') ) # host name -- 2.39.2