From 14d640ba846df169c3e58a9160028ab37c0b664c Mon Sep 17 00:00:00 2001 From: Oleg Sheynin Date: Mon, 24 Apr 2023 17:57:57 -0400 Subject: [PATCH] fix --- release_version.txt | 2 +- scripts/config_server_start.sh | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) 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}" != "" ]