Rollback previous integration

[modules/kernel.git] / bin / killSalomeWithPort.py

diff --git a/bin/killSalomeWithPort.py b/bin/killSalomeWithPort.py
index 4403a8bc2687442826ec7f35b46e6fbbf27d5880..fcdea4ec4d81bb895b9b375e4ceb2540309e345e 100755 (executable)
--- a/bin/killSalomeWithPort.py
+++ b/bin/killSalomeWithPort.py
@@ -20,6 +20,14 @@
 #
 #  See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
 #
+## \file killSalomeWithPort.py
+#  Stop all %SALOME servers from given sessions by killing them
+#
+#   The sessions are indicated by their ports on the command line as in :
+#
+#    killSalomeWithPort.py 2811 2815
+#
+
 import os, sys, pickle, signal, commands,glob
 from launchConfigureParser import verbose
 import Utils_Identity