From: Ovidiu MIRCESCU <ovidiu.mircescu@edf.fr>
Date: Tue, 6 Jul 2021 07:11:46 +0000 (+0200)
Subject: Don't remove filedict twice.
X-Git-Tag: V9_8_0a1~38^2~3
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=a946d7c5fe9a6aa9bec592264ac62ea68e9a6831;p=modules%2Fkernel.git

Don't remove filedict twice.
---

diff --git a/bin/killSalomeWithPort.py b/bin/killSalomeWithPort.py
index d30d030b9..59a6c2b93 100755
--- a/bin/killSalomeWithPort.py
+++ b/bin/killSalomeWithPort.py
@@ -271,7 +271,10 @@ def __killMyPort(port, filedict):
             __killPids(pids)
 
     # finally remove pidict file
-    os.remove(filedict)
+    try:
+        os.remove(filedict)
+    except:
+        pass
 
 def __guessPiDictFilename(port):
     """