From ef58cee7ae94c70d27e83844af203958200dbea7 Mon Sep 17 00:00:00 2001
From: David Schroeder <david@schroedercity.com>
Date: Sun, 1 Jan 2023 20:58:44 -0600
Subject: [PATCH] Update default.inc

---
 default.inc | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/default.inc b/default.inc
index ebfb298..6c83b12 100755
--- a/default.inc
+++ b/default.inc
@@ -170,6 +170,19 @@ service_exists() {
         return 1
     fi
 }
+
+CHECK_HOST(){
+	if [ ! -z ${1+x} ]; then
+		ping -c 6 ${1} > /dev/null 2>&1
+		if [ $? -ne 0 ]; then
+			echo false
+		else
+			echo true
+		fi
+	else
+		echo false
+	fi
+}
 	
 
 declare -A abet