From 53a558bfeba7a22f88b08e2bc45736fc0e5df797 Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Sun, 2 Apr 2023 19:19:07 -0500 Subject: [PATCH] Update default.inc --- default.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/default.inc b/default.inc index 43c7b9b..6d9ddf3 100755 --- a/default.inc +++ b/default.inc @@ -173,7 +173,7 @@ service_exists() { CHECK_HOST(){ if [ ! -z ${1+x} ]; then - ping -c 3 ${1} > /dev/null 2>&1 + ping -c 3 -W 1 ${1} > /dev/null 2>&1 if [ $? -ne 0 ]; then echo false else