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