]> SALOME platform Git repositories - modules/kernel.git/commitdiff
Salome HOME
Fix bug on print formatting
authoraguerre <aguerre>
Mon, 13 Jan 2014 13:22:53 +0000 (13:22 +0000)
committeraguerre <aguerre>
Mon, 13 Jan 2014 13:22:53 +0000 (13:22 +0000)
bin/killSalome.py
bin/killSalomeWithPort.py

index f03beaa04d28ebd179296ea6bf7b4d00fb38aef2..d8342715228de6cfa031e9e57f7516a3ebbfbc48 100755 (executable)
@@ -1,6 +1,6 @@
 #! /usr/bin/env python
 #  -*- coding: iso-8859-1 -*-
-# Copyright (C) 2007-2013  CEA/DEN, EDF R&D, OPEN CASCADE
+# Copyright (C) 2007-2014  CEA/DEN, EDF R&D, OPEN CASCADE
 #
 # Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
 # CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
index 1d8b590b70335857e8abb7fd04620f8c7e42d0da..93fc46d0f8f32ebf56717af011a348727ff3f9d5 100755 (executable)
@@ -291,7 +291,7 @@ def killMyPort(port):
     - port - port number
     """
     from salome_utils import getShortHostName, getHostName
-    print "Terminating SALOME on port %d..."%(port)
+    print "Terminating SALOME on port %s..."%(port)
 
     # try to shutdown session normally
     import threading, time
@@ -305,7 +305,7 @@ def killMyPort(port):
         all_files = glob.glob("%s*"%filedict)
         for f in all_files:
             __killMyPort(port, f)
-    except:
+    except ImportError:
         # new-style dot-prefixed pidict file
         filedict = getPiDict(port, hidden=True)
         # provide compatibility with old-style pidict file (not dot-prefixed)