From 45756e00c158937ef73a76dc447317e12172d90c Mon Sep 17 00:00:00 2001 From: vsr Date: Mon, 23 Apr 2012 11:59:41 +0000 Subject: [PATCH] Fix problem with --portkill / -p option --- bin/killSalomeWithPort.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bin/killSalomeWithPort.py b/bin/killSalomeWithPort.py index 725ee246e..a8a046904 100755 --- a/bin/killSalomeWithPort.py +++ b/bin/killSalomeWithPort.py @@ -143,6 +143,8 @@ def shutdownMyPort(port): Parameters: - port - port number """ + if not port: return + from salome_utils import generateFileName # set OMNIORB_CONFIG variable to the proper file -- 2.39.2