From 9f1164ab60ef2e101e08cae082b45550fb09c8db Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Fri, 21 Apr 2023 08:19:19 +0200
Subject: [PATCH] Healthcheck

---
 run/check.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/run/check.sh b/run/check.sh
index eb09900..e379bc0 100644
--- a/run/check.sh
+++ b/run/check.sh
@@ -1,4 +1,13 @@
 #!/usr/bin/env bash
 set -eu
 
+PORT=5000
+IP="20.20.20.21"
+
+if ! curl -m 3 -ILfSs "http://$IP:$PORT/"; then
+  echo "Failed to reach $IP"
+  exit 1
+fi
+
+echo "Healthcheck OK"
 exit 0