From 9098d4951a0e89704672c083f24ca0b8958dd7eb Mon Sep 17 00:00:00 2001
From: Disyer <daniel@tohka.us>
Date: Sat, 23 Mar 2024 14:16:05 +0200
Subject: [PATCH] ping: Add ping URL

---
 entrypoint.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/entrypoint.sh b/entrypoint.sh
index 7ddd2da..56918de 100644
--- a/entrypoint.sh
+++ b/entrypoint.sh
@@ -1,7 +1,13 @@
 #!/bin/sh
+set -e
 
 # Import our GPG key
 gpg --import gpg.key
 
 # Run the actual program
 python -m kernelcollector.main
+
+# Ping the URL if it is set
+if [[ -n "$PING_URL" ]]; then
+    curl -m 10 --retry 5 "$PING_URL"
+fi
\ No newline at end of file