From e76070bf44b2bb1b44ba0b712051c0bc4052675a Mon Sep 17 00:00:00 2001 From: Giovanni Di Grezia Date: Sun, 27 Dec 2020 17:49:40 +0100 Subject: [PATCH] fixed bug in curl --- curl/docker-entrypoint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/curl/docker-entrypoint.sh b/curl/docker-entrypoint.sh index 404eb5b..86715d7 100644 --- a/curl/docker-entrypoint.sh +++ b/curl/docker-entrypoint.sh @@ -1,6 +1,6 @@ #!/bin/bash -if [[ ! -z "${LOOP}"]]; then +if [[ ! -z "${LOOP}" ]]; then while : do curl "$@"