X-Git-Url: http://git.salome-platform.org/gitweb/?a=blobdiff_plain;f=salome_kill.sh;h=3ae83e85a605eadbdc4065085346ae17ec1088b3;hb=ae22b2839c86140140182bd6d2277ea4d9d105e0;hp=3fe6b6f18f57ad2dc99e1f857ea8fdf11471d714;hpb=8a0e84a23452aa1b25b56056ce3e3ca225b806ec;p=modules%2Fshaper.git diff --git a/salome_kill.sh b/salome_kill.sh index 3fe6b6f18..3ae83e85a 100755 --- a/salome_kill.sh +++ b/salome_kill.sh @@ -3,7 +3,6 @@ a_dir=$(dirname $0) source ${a_dir}/env.sh -source ${a_dir}/env_salome.sh set +e -x