Update default.inc

This commit is contained in:
2023-04-02 18:14:33 -05:00
parent 8eacea6d1b
commit 319e10d100

View File

@@ -173,7 +173,7 @@ service_exists() {
CHECK_HOST(){
if [ ! -z ${1+x} ]; then
ping -c 6 ${1} > /dev/null 2>&1
ping -c 3 ${1} > /dev/null 2>&1
if [ $? -ne 0 ]; then
echo false
else