Salome HOME
projects
/
modules
/
kernel.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
#
#
# 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
import os, sys, pickle, signal, commands,glob
from launchConfigureParser import verbose
import Utils_Identity