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