Merge branch 'po/29467_gui_log_file'

[modules/shaper.git] / salome_kill.sh

diff --git a/salome_kill.sh b/salome_kill.sh
index da53b608e061d0bb5dba169b9a2076294b2ae04a..3ae83e85a605eadbdc4065085346ae17ec1088b3 100755 (executable)
--- a/salome_kill.sh
+++ b/salome_kill.sh
@@ -1,7 +1,13 @@
-#!/bin/bash
+#!/bin/bash -e
 
-source env.sh
-source env_salome.sh
+a_dir=$(dirname $0)
+
+source ${a_dir}/env.sh
+
+set +e -x
 
-#${PYTHONBIN} "${KERNEL_ROOT_DIR}/bin/salome/killSalome.py"
 ${KERNEL_ROOT_DIR}/bin/salome/killSalome.py
+killall SALOME_LauncherServer
+killall SALOME_Session_Server
+killall SALOME_ConnectionManagerServer
+killall omniNames