From: jfa <jfa@opencascade.com>
Date: Tue, 13 Dec 2005 14:25:20 +0000 (+0000)
Subject: PAL10873: Debian: HOSTNAME settings. A patch by Paul RASCLE.
X-Git-Tag: T_2_2_7pre2~1
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=fd6c5ec654a5e98bceaf0f94c7389779751694a0;p=modules%2Fkernel.git

PAL10873: Debian: HOSTNAME settings. A patch by Paul RASCLE.
---

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