ping: Add ping URL

darktohka · Mar 23, 2024 · 9098d49 · 9098d49
1 parent 9d1c298
commit 9098d49
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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