bin/killSalomeWithPort.py

   1 #! /usr/bin/env python
   2 #  -*- coding: iso-8859-1 -*-
   3 # Copyright (C) 2007-2011  CEA/DEN, EDF R&D, OPEN CASCADE
   4 #
   5 # Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
   6 # CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
   7 #
   8 # This library is free software; you can redistribute it and/or
   9 # modify it under the terms of the GNU Lesser General Public
  10 # License as published by the Free Software Foundation; either
  11 # version 2.1 of the License.
  12 #
  13 # This library is distributed in the hope that it will be useful,
  14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  16 # Lesser General Public License for more details.
  17 #
  18 # You should have received a copy of the GNU Lesser General Public
  19 # License along with this library; if not, write to the Free Software
  20 # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
  21 #
  22 # See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
  23 #
  24
  25 ## \file killSalomeWithPort.py
  26 #  Stop all %SALOME servers from given sessions by killing them
  27 #
  28 #  The sessions are indicated by their ports on the command line as in :
  29 #  \code
  30 #  killSalomeWithPort.py 2811 2815
  31 #  \endcode
  32 #
  33
  34 import os, sys, pickle, signal, commands,glob
  35 from launchConfigureParser import verbose
  36 import Utils_Identity
  37 import salome_utils
  38
  39 def getPiDict(port,appname='salome',full=True,hidden=True,hostname=None):
  40     """
  41     Get file with list of SALOME processes.
  42     This file is located in the user's home directory
  43     and named .<user>_<host>_<port>_SALOME_pidict
  44     where
  45     <user> is user name
  46     <host> is host name
  47     <port> is port number
  48
  49     Parameters:
  50     - port    : port number
  51     - appname : application name (default is 'SALOME')
  52     - full    : if True, full path to the file is returned, otherwise only file name is returned
  53     - hidden  : if True, file name is prefixed with . (dot) symbol; this internal parameter is used
  54     to support compatibility with older versions of SALOME
  55     """
  56     from salome_utils import generateFileName, getTmpDir
  57     dir = ""
  58     if not hostname:
  59         hostname = os.getenv("NSHOST")
  60         if hostname: hostname = hostname.split(".")[0]
  61         pass
  62     if full:
  63         # full path to the pidict file is requested
  64         if hidden:
  65             # new-style dot-prefixed pidict files
  66             # are in the system-dependant temporary diretory
  67             dir = getTmpDir()
  68         else:
  69             # old-style non-dot-prefixed pidict files
  70             # are in the user's home directory
  71             dir = os.getenv("HOME")
  72             pass
  73         pass
  74     return generateFileName(dir,
  75                             suffix="pidict",
  76                             hidden=hidden,
  77                             with_username=True,
  78                             with_hostname=hostname or True,
  79                             with_port=port,
  80                             with_app=appname.upper())
  81
  82 def appliCleanOmniOrbConfig(port):
  83     """
  84     Remove omniorb config files related to the port in SALOME application:
  85     - ${HOME}/${APPLI}/USERS/.omniORB_${USER}_${HOSTNAME}_${NSPORT}.cfg
  86     - ${HOME}/${APPLI}/USERS/.omniORB_${USER}_last.cfg
  87     the last is removed only if the link points to the first file.
  88     """
  89     from salome_utils import generateFileName
  90     home  = os.getenv("HOME")
  91     appli = os.getenv("APPLI")
  92     if appli is None:
  93         #Run outside application context
  94         pass
  95     else:
  96         dir = os.path.join(home, appli,"USERS")
  97         omniorb_config      = generateFileName(dir, prefix="omniORB",
  98                                                extension="cfg",
  99                                                hidden=True,
 100                                                with_username=True,
 101                                                with_hostname=True,
 102                                                with_port=port)
 103         last_running_config = generateFileName(dir, prefix="omniORB",
 104                                                with_username=True,
 105                                                suffix="last",
 106                                                extension="cfg",
 107                                                hidden=True)
 108         if os.access(last_running_config,os.F_OK):
 109             pointedPath = os.readlink(last_running_config)
 110             if pointedPath[0] != '/':
 111                 pointedPath=os.path.join(os.path.dirname(last_running_config), pointedPath)
 112             if pointedPath == omniorb_config:
 113                 os.unlink(last_running_config)
 114                 pass
 115             pass
 116         if os.access(omniorb_config,os.F_OK):
 117             os.remove(omniorb_config)
 118             pass
 119
 120         if os.path.lexists(last_running_config):return
 121
 122         #try to relink last.cfg to an existing config file if any
 123         files = glob.glob(os.path.join(os.environ["HOME"],Utils_Identity.getapplipath(),
 124                                        "USERS",".omniORB_"+salome_utils.getUserName()+"_*.cfg"))
 125         current_config=None
 126         current=0
 127         for f in files:
 128           stat=os.stat(f)
 129           if stat.st_atime > current:
 130             current=stat.st_atime
 131             current_config=f
 132         if current_config:
 133           os.symlink(os.path.normpath(current_config), last_running_config)
 134
 135         pass
 136     pass
 137
 138 ########## kills all salome processes with the given port ##########
 139
 140 def killMyPort(port):
 141     """
 142     Kill SALOME session running on the specified port.
 143     Parameters:
 144     - port - port number
 145     """
 146     from salome_utils import getShortHostName, getHostName, generateFileName
 147
 148     # set OMNIORB_CONFIG variable to the proper file
 149     home  = os.getenv("HOME")
 150     appli = os.getenv("APPLI")
 151     kwargs = {}
 152     if appli is not None:
 153         home = os.path.join(home, appli,"USERS")
 154         kwargs["with_username"]=True
 155         pass
 156     omniorb_config = generateFileName(home, prefix="omniORB",
 157                                       extension="cfg",
 158                                       hidden=True,
 159                                       with_hostname=True,
 160                                       with_port=port,
 161                                       **kwargs)
 162     os.environ['OMNIORB_CONFIG'] = omniorb_config
 163
 164     # give the chance to the servers to shutdown properly
 165     try:
 166         import shutdownSalome
 167     except:
 168         pass
 169
 170     # new-style dot-prefixed pidict file
 171     filedict = getPiDict(port, hidden=True)
 172     # provide compatibility with old-style pidict file (not dot-prefixed)
 173     if not os.path.exists(filedict): filedict = getPiDict(port, hidden=False)
 174     # provide compatibility with old-style pidict file (short hostname)
 175     if not os.path.exists(filedict): filedict = getPiDict(port, hidden=True,  hostname=getShortHostName())
 176     # provide compatibility with old-style pidict file (not dot-prefixed, short hostname)
 177     if not os.path.exists(filedict): filedict = getPiDict(port, hidden=False, hostname=getShortHostName())
 178     # provide compatibility with old-style pidict file (long hostname)
 179     if not os.path.exists(filedict): filedict = getPiDict(port, hidden=True,  hostname=getHostName())
 180     # provide compatibility with old-style pidict file (not dot-prefixed, long hostname)
 181     if not os.path.exists(filedict): filedict = getPiDict(port, hidden=False, hostname=getHostName())
 182     #
 183     try:
 184         fpid = open(filedict, 'r')
 185         #
 186         from salome_utils import generateFileName
 187         if sys.platform == "win32":
 188             username = os.getenv( "USERNAME" )
 189         else:
 190             username = os.getenv('USER')
 191         path = os.path.join('/tmp/logs', username)
 192         fpidomniNames = generateFileName(path,
 193                                          prefix="",
 194                                          suffix="Pid_omniNames",
 195                                          extension="log",
 196                                          with_port=port)
 197         if not sys.platform == 'win32':
 198             cmd = 'pid=`ps -eo pid,command | egrep "[0-9] omniNames -start %s"` ; echo $pid > %s' % ( str(port), fpidomniNames )
 199             a = os.system(cmd)
 200             pass
 201         try:
 202             fpidomniNamesFile = open(fpidomniNames)
 203             lines = fpidomniNamesFile.readlines()
 204             fpidomniNamesFile.close()
 205             os.remove(fpidomniNames)
 206             for l in lines:
 207                 try:
 208                     pidfield = l.split()[0] # pid should be at the first position
 209                     if sys.platform == "win32":
 210                         import win32pm
 211                         if verbose(): print 'stop process '+pidfield+' : omniNames'
 212                         win32pm.killpid(int(pidfield),0)
 213                     else:
 214                         if verbose(): print 'stop process '+pidfield+' : omniNames'
 215                         os.kill(int(pidfield),signal.SIGKILL)
 216                         pass
 217                     pass
 218                 except:
 219                     pass
 220                 pass
 221             pass
 222         except:
 223             pass
 224         #
 225         try:
 226             process_ids=pickle.load(fpid)
 227             fpid.close()
 228             for process_id in process_ids:
 229                 for pid, cmd in process_id.items():
 230                     if verbose(): print "stop process %s : %s"% (pid, cmd[0])
 231                     try:
 232                         if sys.platform == "win32":
 233                             import win32pm
 234                             win32pm.killpid(int(pid),0)
 235                         else:
 236                             os.kill(int(pid),signal.SIGKILL)
 237                             pass
 238                         pass
 239                     except:
 240                         if verbose(): print "  ------------------ process %s : %s not found"% (pid, cmd[0])
 241                         pass
 242                     pass # for pid, cmd ...
 243                 pass # for process_id ...
 244             pass # try...
 245         except:
 246             pass
 247         #
 248         os.remove(filedict)
 249         cmd='ps -eo pid,command | egrep "[0-9] omniNames -start '+str(port)+'" | sed -e "s%[^0-9]*\([0-9]*\) .*%\\1%g"'
 250         pid = commands.getoutput(cmd)
 251         a = ""
 252         while pid and len(a.split()) < 2:
 253             a = commands.getoutput("kill -9 " + pid)
 254             pid = commands.getoutput(cmd)
 255             #print pid
 256             pass
 257         pass
 258     except:
 259         print "Cannot find or open SALOME PIDs file for port", port
 260         pass
 261     #
 262     appliCleanOmniOrbConfig(port)
 263     pass
 264
 265 def killNotifdAndClean(port):
 266     """
 267     Kill notifd daemon and clean application running on the specified port.
 268     Parameters:
 269     - port - port number
 270     """
 271     try:
 272       filedict=getPiDict(port)
 273       f=open(filedict, 'r')
 274       pids=pickle.load(f)
 275       for d in pids:
 276         for pid,process in d.items():
 277           if 'notifd' in process:
 278             cmd='kill -9 %d'% pid
 279             os.system(cmd)
 280       os.remove(filedict)
 281     except:
 282       #import traceback
 283       #traceback.print_exc()
 284       pass
 285
 286     appliCleanOmniOrbConfig(port)
 287
 288 def killMyPortSpy(pid, port):
 289     dt = 1.0
 290     while 1:
 291         if sys.platform == "win32":
 292             from win32pm import killpid
 293             if killpid(int(pid), 0) != 0:
 294                 return
 295         else:
 296             from os import kill
 297             try:
 298                 kill(int(pid), 0)
 299             except OSError, e:
 300                 if e.errno != 3:
 301                     return
 302                 break
 303             pass
 304         from time import sleep
 305         sleep(dt)
 306         pass
 307     filedict = getPiDict(port, hidden=True)
 308     if not os.path.exists(filedict):
 309         return
 310     try:
 311         import omniORB
 312         orb = omniORB.CORBA.ORB_init(sys.argv, omniORB.CORBA.ORB_ID)
 313         import SALOME_NamingServicePy
 314         ns = SALOME_NamingServicePy.SALOME_NamingServicePy_i(orb)
 315         import SALOME
 316         session = ns.Resolve("/Kernel/Session")
 317         assert session
 318     except:
 319         return
 320     try:
 321         status = session.GetStatSession()
 322     except:
 323         # -- session is in naming service but has crash
 324         status = None
 325         pass
 326     if status:
 327         if not status.activeGUI:
 328             return
 329         pass
 330     killMyPort(port)
 331     return
 332
 333 if __name__ == "__main__":
 334     if sys.argv[1] == "--spy":
 335         pid = sys.argv[2]
 336         port = sys.argv[3]
 337         killMyPortSpy(pid, port)
 338         sys.exit(0)
 339         pass
 340     for port in sys.argv[1:]:
 341         killMyPort(port)
 342         pass
 343     pass