Issue #2825: Set the same deflection value from preferences on highlighting as on...

[modules/shaper.git] / salome_kill.sh

#!/bin/bash -e

a_dir=$(dirname $0)

source ${a_dir}/env.sh

set +e -x

${KERNEL_ROOT_DIR}/bin/salome/killSalome.py
killall SALOME_LauncherServer
killall SALOME_Session_Server
killall SALOME_ConnectionManagerServer
killall omniNames