Don't remove filedict twice.

diff --git a/bin/killSalomeWithPort.py b/bin/killSalomeWithPort.py
index d30d030b9739706eb830df48a042b0c96f4a53c6..59a6c2b93e5c3292be19191a1d2f20a0b31ca89d 100755 (executable)
--- 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):
     """