bin/killSalome.py

   1 #!/usr/bin/env python
   2
   3 # Copyright (C) 2005  OPEN CASCADE, CEA, EDF R&D, LEG
   4 #           PRINCIPIA R&D, EADS CCR, Lip6, BV, CEDRAT
   5 # This library is free software; you can redistribute it and/or
   6 # modify it under the terms of the GNU Lesser General Public
   7 # License as published by the Free Software Foundation; either
   8 # version 2.1 of the License.
   9 #
  10 # This library is distributed in the hope that it will be useful
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13 # Lesser General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU Lesser General Public
  16 # License along with this library; if not, write to the Free Software
  17 # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
  18 #
  19 # See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
  20 #
  21
  22 import os, sys, re, signal
  23
  24 from killSalomeWithPort import killMyPort, getPiDict
  25
  26 def killAllPorts():
  27     """
  28     Kill all SALOME sessions belonging to the user.
  29     """
  30     user = os.getenv('USER')
  31     # new-style dot-prefixed pidict file
  32     #fpidict   = getPiDict('(\d*)',hidden=True)
  33     #problem with WIN32 path slashes
  34     fpidict   = getPiDict('#####',hidden=True)
  35     dirpidict = os.path.dirname(fpidict)
  36     fpidict   = os.path.basename(fpidict)
  37     fpidict = fpidict.replace('#####', '(\d*)')
  38     fnamere   = re.compile("^%s$" % fpidict)
  39     try:
  40         for f in os.listdir(dirpidict):
  41             mo = fnamere.match(f)
  42             try:
  43                 killMyPort(mo.group(1))
  44             except:
  45                 pass
  46             pass
  47         pass
  48     except:
  49         pass
  50     # provide compatibility with old-style pidict file (not dot-prefixed)
  51     #fpidict   = getPiDict('(\d*)',hidden=False)
  52     fpidict   = getPiDict('#####',hidden=True)
  53     dirpidict = os.path.dirname(fpidict)
  54     fpidict   = os.path.basename(fpidict)
  55     fpidict = fpidict.replace('#####', '(\d*)')
  56     fnamere   = re.compile("^%s$" % fpidict)
  57     try:
  58         for f in os.listdir(dirpidict):
  59             mo = fnamere.match(f)
  60             try:
  61                 killMyPort(mo.group(1))
  62             except:
  63                 pass
  64             pass
  65         pass
  66     except:
  67         pass
  68     # kill other processes
  69     if sys.platform != 'win32':
  70         import commands
  71         cmd = "ps -fea | grep '%s' | grep 'ghs3d' | grep 'f /tmp/GHS3D_' | grep -v 'grep' | awk '{print $2}'" % user
  72         prc = commands.getoutput(cmd)
  73         for field in prc.split():
  74             try:
  75                 os.kill(int(field), signal.SIGKILL)
  76             except:
  77                 pass
  78             pass
  79         pass
  80     pass
  81
  82 if __name__ == "__main__":
  83     killAllPorts()
  84     pass
  85