#!/usr/bin/env python
+import os, string, sys
-import sys,os,pickle,signal
+from killSalomeWithPort import killMyPort
-process_id={}
+def killAllPorts():
+ user = os.getenv('USER')
+ for file in os.listdir("/tmp"):
+ l = string.split(file, "_")
+ if len(l) >= 4:
+ if file[:len(user)] == user:
+ if l[len(l)-2] == "SALOME" and l[len(l)-1] == "pidict":
+ killMyPort(l[len(l)-3])
+ pass
-# -----------------------------------------------------------------------------
-#
-# Fonction d'arrĂȘt de salome
-#
-
-def killSalome():
- print "arret des serveurs SALOME"
- for pid, cmd in process_id.items():
- print "arret du process %s : %s"% (pid, cmd[0])
- try:
- os.kill(pid,signal.SIGKILL)
- except:
- print " ------------------ process %s : %s inexistant"% (pid, cmd[0])
- print "arret du naming service"
- os.system("killall -9 omniNames")
-
-# -----------------------------------------------------------------------------
-
-filedict='/tmp/'+os.getenv('USER')+'_SALOME_pidict'
-#filedict='/tmp/'+os.getlogin()+'_SALOME_pidict'
-try:
- fpid=open(filedict, 'r')
-except:
- print "le fichier %s des process SALOME n'est pas accessible"% filedict
- sys.exit(1)
-
-process_id=pickle.load(fpid)
-fpid.close()
-
-killSalome()
+if __name__ == "__main__":
+ killAllPorts()