3 import os, sys, pickle, string, signal
5 ########## adds to the kill list of SALOME one more process ##########
8 if os.environ.has_key('NSPORT'):
9 my_port = os.environ['NSPORT']
14 file = open(os.environ["OMNIORB_CONFIG"], "r")
17 l = string.split(s, ":")
18 if string.split(l[0], " ")[0] == "ORBInitRef" or string.split(l[0], " ")[0] == "InitRef" :
19 my_port = int(l[len(l)-1])
27 print "myport = ", my_port
30 def addToKillList(command_pid, command):
31 my_port = findFileDict()
32 filedict=os.getenv("HOME")+'/'+os.getenv('USER')+"_"+str(my_port)+'_SALOME_pidict'
34 fpid=open(filedict, 'r')
35 process_ids=pickle.load(fpid)
42 for process_id in process_ids:
44 for pid, cmd in process_id.items():
45 #print "see process %s : %s"% (pid, cmd[0])
46 if pid == command_pid:
52 command=(command.split(" "))[0]
55 process_ids.append({command_pid: [command]})
56 fpid=open(filedict,'w')
57 pickle.dump(process_ids, fpid)
60 print "addToKillList: can not add command %s to the kill list"% filedict
66 my_port = findFileDict()
67 filedict=os.getenv("HOME")+'/'+os.getenv('USER')+"_"+str(my_port)+'_SALOME_pidict'
69 fpid=open(filedict, 'r')
70 process_ids=pickle.load(fpid)
76 for process_id in process_ids:
78 for pid, cmd in process_id.items():
79 print "stop process %s : %s"% (pid, cmd[0])
81 os.kill(int(pid),signal.SIGKILL)
83 print " ------------------ process %s : %s inexistant"% (pid, cmd[0])
92 if __name__ == "__main__":
94 addToKillList(sys.argv[1], sys.argv[2])