From 69dbb742703901a8572a960f298b90b5dcdf4c54 Mon Sep 17 00:00:00 2001 From: prascle Date: Tue, 27 May 2003 07:59:07 +0000 Subject: [PATCH] PR : destruction of file listing SALOME process id after process kill : no longer relevant, and dangerous --- bin/killSalome.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/bin/killSalome.py b/bin/killSalome.py index 3620f55ac..814420dfa 100755 --- a/bin/killSalome.py +++ b/bin/killSalome.py @@ -34,3 +34,7 @@ process_id=pickle.load(fpid) fpid.close() killSalome() + +os.remove(filedict) + + -- 2.39.2