From a946d7c5fe9a6aa9bec592264ac62ea68e9a6831 Mon Sep 17 00:00:00 2001 From: Ovidiu MIRCESCU Date: Tue, 6 Jul 2021 09:11:46 +0200 Subject: [PATCH] Don't remove filedict twice. --- bin/killSalomeWithPort.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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): """ -- 2.39.2