From: prascle <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-Tag: V1_4_0~91
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=69dbb742703901a8572a960f298b90b5dcdf4c54;p=modules%2Fkernel.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)
+
+