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