]> SALOME platform Git repositories - modules/shaper.git/blob - salome_kill.sh
Salome HOME
Issue #2825: Set the same deflection value from preferences on highlighting as on...
[modules/shaper.git] / salome_kill.sh
1 #!/bin/bash -e
2
3 a_dir=$(dirname $0)
4
5 source ${a_dir}/env.sh
6
7 set +e -x
8
9 ${KERNEL_ROOT_DIR}/bin/salome/killSalome.py
10 killall SALOME_LauncherServer
11 killall SALOME_Session_Server
12 killall SALOME_ConnectionManagerServer
13 killall omniNames