]> SALOME platform Git repositories - modules/kernel.git/commitdiff
Salome HOME
Don't remove filedict twice.
authorOvidiu MIRCESCU <ovidiu.mircescu@edf.fr>
Tue, 6 Jul 2021 07:11:46 +0000 (09:11 +0200)
committerOvidiu MIRCESCU <ovidiu.mircescu@edf.fr>
Tue, 6 Jul 2021 07:11:46 +0000 (09:11 +0200)
bin/killSalomeWithPort.py

index d30d030b9739706eb830df48a042b0c96f4a53c6..59a6c2b93e5c3292be19191a1d2f20a0b31ca89d 100755 (executable)
@@ -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):
     """