diff --git a/release_version.txt b/release_version.txt index 429d94a..6da28dd 100644 --- a/release_version.txt +++ b/release_version.txt @@ -1 +1 @@ -0.0.9 \ No newline at end of file +0.1.1 \ No newline at end of file diff --git a/scripts/config_server_start.sh b/scripts/config_server_start.sh index d4cb128..e1457b4 100755 --- a/scripts/config_server_start.sh +++ b/scripts/config_server_start.sh @@ -90,8 +90,14 @@ function kill_it { while (timeout 3 curl -s localhost:${ServicePort}/ping > /dev/null) do echo "Shutting down localhost:${ServicePort}/__shutdown__ ..." - timeout 10 curl -s localhost:${ServicePort}/__shutdown__ - sleep 1 + timeout 5 curl -s localhost:${ServicePort}/__shutdown__ + + pids=$(ps -ef | grep "port=${ServicePort}" | grep "root=${ServiceDir}" | grep -v grep | tr -s ' ' |cut -d' ' -f2) + echo pids=${pids} + if [ "${pids}" != "" ] + then + kill -9 ${pids} + fi done }