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, string, sys, re
  23
  24 from killSalomeWithPort import killMyPort, getPiDict
  25
  26 def killAllPorts():
  27     user = os.getenv('USER')
  28     filedict = "^%s$"%(getPiDict('(\d*)',full=False))
  29     fnamere = re.compile(filedict)
  30     for file in os.listdir(os.getenv("HOME")):
  31         mo = re.match(fnamere,file)
  32         if mo and len(mo.groups()):
  33             killMyPort(mo.groups()[0])
  34         pass
  35
  36     if not sys.platform == 'win32':
  37         cmd = "pid=`ps -fea | grep '"+os.getenv('USER')+"' | grep 'ghs3d' | grep 'f /tmp/GHS3D_' | grep -v 'grep' | awk '{print $2}'` ; echo $pid > /tmp/logs/"+os.getenv('USER')+"/_"+"Pid_ghs3d.log"
  38         a = os.system(cmd)
  39         try:
  40             fpidomniNames=open('/tmp/logs/'+os.getenv('USER')+"/_"+"Pid_ghs3d.log")
  41             prc = fpidomniNames.read()
  42             fpidomniNames.close()
  43             if prc != None :
  44                 for field in prc.split(" ") :
  45                     field = field.strip()
  46                     if field != None and len(field) != 0:
  47                         os.system('kill -9 '+field)
  48         except:
  49             pass
  50         pass
  51
  52 if __name__ == "__main__":
  53     killAllPorts()
  54