From: prascle Date: Tue, 27 May 2003 07:59:07 +0000 (+0000) Subject: PR : destruction of file listing SALOME process id after process kill : X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=69dbb742703901a8572a960f298b90b5dcdf4c54;p=modules%2Fyacs.git PR : destruction of file listing SALOME process id after process kill : no longer relevant, and dangerous --- 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) + +