salome_pid.py

   1 #!/bin/env python
   2
   3 import sys, pickle
   4 from killSalome import *
   5
   6 process = sys.argv[2] #SALOME_Session_Server"
   7
   8 salome_port = sys.argv[1]
   9 filedict = getPiDict(salome_port)
  10 process_ids = pickle.load(open(filedict, 'r'))
  11
  12 pid = -1
  13 for list_item in process_ids:
  14   for _pid, name_list in list_item.items():
  15     if process in name_list:
  16       pid = _pid
  17
  18 print pid