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 3620f55ac00faccd2059ee0b71366911fbccbfb4..814420dfa78e18443994eb6a378d3e319e9e5423 100755 (executable)
--- a/bin/killSalome.py
+++ b/bin/killSalome.py
@@ -34,3 +34,7 @@ process_id=pickle.load(fpid)
 fpid.close()
 
 killSalome()
+
+os.remove(filedict)
+
+