bin/killSalome.py

   1 #!/usr/bin/env python
   2
   3 import sys,os,pickle,signal
   4
   5 process_id={}
   6
   7 # -----------------------------------------------------------------------------
   8 #
   9 # Fonction d'arrêt de salome
  10 #
  11
  12 def killSalome():
  13    print "arret des serveurs SALOME"
  14    for pid, cmd in process_id.items():
  15       print "arret du process %s : %s"% (pid, cmd[0])
  16       try:
  17          os.kill(pid,signal.SIGKILL)
  18       except:
  19          print "  ------------------ process %s : %s inexistant"% (pid, cmd[0])
  20    print "arret du naming service"
  21    os.system("killall -9 omniNames")
  22
  23 # -----------------------------------------------------------------------------
  24
  25 filedict='/tmp/'+os.getenv('USER')+'_SALOME_pidict'
  26 #filedict='/tmp/'+os.getlogin()+'_SALOME_pidict'
  27 try:
  28    fpid=open(filedict, 'r')
  29 except:
  30    print "le fichier %s des process SALOME n'est pas accessible"% filedict
  31    sys.exit(1)
  32
  33 process_id=pickle.load(fpid)
  34 fpid.close()
  35
  36 killSalome()
  37
  38 os.remove(filedict)
  39
  40