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     dirpidict = os.path.dirname(fpidict)
  34     fpidict   = os.path.basename(fpidict)
  35     fnamere   = re.compile("^%s$" % fpidict)
  36     try:
  37         for f in os.listdir(dirpidict):
  38             mo = fnamere.match(f)
  39             try:
  40                 killMyPort(mo.group(1))
  41             except:
  42                 pass
  43             pass
  44         pass
  45     except:
  46         pass
  47     # provide compatibility with old-style pidict file (not dot-prefixed)
  48     fpidict   = getPiDict('(\d*)',hidden=False)
  49     dirpidict = os.path.dirname(fpidict)
  50     fpidict   = os.path.basename(fpidict)
  51     fnamere   = re.compile("^%s$" % fpidict)
  52     try:
  53         for f in os.listdir(dirpidict):
  54             mo = fnamere.match(f)
  55             try:
  56                 killMyPort(mo.group(1))
  57             except:
  58                 pass
  59             pass
  60         pass
  61     except:
  62         pass
  63     # kill other processes
  64     if sys.platform != 'win32':
  65         import commands
  66         cmd = "ps -fea | grep '%s' | grep 'ghs3d' | grep 'f /tmp/GHS3D_' | grep -v 'grep' | awk '{print $2}'" % user
  67         prc = commands.getoutput(cmd)
  68         for field in prc.split():
  69             try:
  70                 os.kill(int(field), signal.SIGKILL)
  71             except:
  72                 pass
  73             pass
  74         pass
  75     pass
  76
  77 if __name__ == "__main__":
  78     killAllPorts()
  79     pass
  80