From 5ee0e43efd7ba2bd65c7b9ee7517a70c2bda0b9b Mon Sep 17 00:00:00 2001 From: vsr Date: Wed, 9 Nov 2005 13:28:18 +0000 Subject: [PATCH] PAL9538 --- bin/addToKillList.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/bin/addToKillList.py b/bin/addToKillList.py index 2d26f6698..7764ba01a 100755 --- a/bin/addToKillList.py +++ b/bin/addToKillList.py @@ -29,7 +29,8 @@ def findFileDict(): def addToKillList(command_pid, command): my_port = findFileDict() - filedict=os.getenv("HOME")+'/'+os.getenv('USER')+"_"+str(my_port)+'_SALOME_pidict' + from killSalomeWithPort import getPiDict + filedict=getPiDict(my_port) try: fpid=open(filedict, 'r') process_ids=pickle.load(fpid) @@ -64,7 +65,8 @@ def addToKillList(command_pid, command): def killList(): my_port = findFileDict() - filedict=os.getenv("HOME")+'/'+os.getenv('USER')+"_"+str(my_port)+'_SALOME_pidict' + from killSalomeWithPort import getPiDict + filedict=getPiDict(my_port) try: fpid=open(filedict, 'r') process_ids=pickle.load(fpid) -- 2.39.2