From e316e8aca2f8b28d9e89ae7c056572f922029a6f Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Fri, 21 Apr 2023 20:58:18 +0200
Subject: [PATCH] Hide curl output

---
 run/check.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/run/check.sh b/run/check.sh
index 88c39b3..70d0c9e 100644
--- a/run/check.sh
+++ b/run/check.sh
@@ -13,10 +13,10 @@ fi
 
 IP=$(cat "${FILE}")
 
-if ! curl -m 3 -ILfSs "http://${IP}:${PORT}/"; then
+if ! curl -m 3 -ILfSs "http://${IP}:${PORT}/" > /dev/null; then
   echo "Failed to reach ${IP}"
   exit 1
 fi
 
-echo "Healthcheck OK for ${IP}"
+echo "Healthcheck OK"
 exit 0