From 3c015f3af6029755eb623b87334d0d3bdb41f3e9 Mon Sep 17 00:00:00 2001 From: Kacper Golinski Date: Wed, 3 Jul 2024 15:08:20 +0200 Subject: [PATCH] use wget instead of curl inside docker --- .github/files/multi-platform.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/files/multi-platform.Dockerfile b/.github/files/multi-platform.Dockerfile index 1fe91437f..4cbfa89a5 100644 --- a/.github/files/multi-platform.Dockerfile +++ b/.github/files/multi-platform.Dockerfile @@ -4,5 +4,5 @@ ARG TARGETPLATFORM LABEL org.opencontainers.image.description="Blazing fast and lightweight tile server with PostGIS, MBTiles, and PMTiles support" COPY target_releases/$TARGETPLATFORM/* /usr/local/bin -HEALTHCHECK CMD curl --fail http://localhost:3000/health +HEALTHCHECK CMD wget --spider http://localhost:3000/health || exit 1 ENTRYPOINT ["/usr/local/bin/martin"]