Salome HOME
Merge branch 'po/29467_gui_log_file'
[modules/shaper.git] / salome_kill.sh
old mode 100644 (file)
new mode 100755 (executable)
index 8236021..3ae83e8
@@ -1,13 +1,13 @@
-#!/bin/sh
+#!/bin/bash -e
 
-export ROOT_DIR=$(pwd)/..
-export ROOT_DIR=`cd "${ROOT_DIR}";pwd`
+a_dir=$(dirname $0)
 
-source ${ROOT_DIR}/sources/linux_env.sh
+source ${a_dir}/env.sh
 
-# Correcting path which defined with error
-export LD_LIBRARY_PATH=${KERNEL_ROOT_DIR}/lib/salome:${LD_LIBRARY_PATH}
-export SalomeAppConfig=${ROOT_DIR}/install/share/salome/resources/newgeom:${GUI_ROOT_DIR}/share/salome/resources/gui
+set +e -x
 
-${PYTHONBIN} "${KERNEL_ROOT_DIR}/bin/salome/envSalome.py"
-${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