diff --git a/test.sh b/test.sh index 28deecb..ab572dc 100755 --- a/test.sh +++ b/test.sh @@ -19,12 +19,10 @@ if [ "`git log --pretty=%H ...refs/heads/master^ | head -n 1`" != "`git ls-remot exit 0 fi -CHECK_HOST(){ - ping -c 3 ${1} > /dev/null 2>&1 - if [ $? -ne 0 ]; then - echo false - fi -} + + +declare -i errtime +declare -i ctime errtime=$(stat -c %Y /opt/idssys/nodemgmt/10.5.10.53-haproxy.down) ctime=`date +%s`