Update default.inc

2023-04-02 19:19:07 -05:00
parent 319e10d100
commit 53a558bfeb
1 changed files with 1 additions and 1 deletions
--- 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