diff --git a/release_version.txt b/release_version.txt index 1750564..5c4511c 100644 --- a/release_version.txt +++ b/release_version.txt @@ -1 +1 @@ -0.0.6 +0.0.7 \ No newline at end of file diff --git a/scripts/config_server_start.sh b/scripts/config_server_start.sh index 2f6cbc5..c771be7 100755 --- a/scripts/config_server_start.sh +++ b/scripts/config_server_start.sh @@ -69,7 +69,6 @@ function check_it { if !(timeout 3 curl -s localhost:${AdminPort}/ping > /dev/null) then echo "${Script} doesn't respond. restarting..." - start_app pids=$(ps -ef | grep "port=${ServicePort}" | grep "root=${ServiceDir}" | grep -v grep | tr -s ' ' |cut -d' ' -f2) echo pids=${pids} if [ "${pids}" != "" ]