Merge branch 'release' into develop

danskernesdigitalebibliotek · Aug 3, 2023 · 1259b86 · 1259b86
2 parents 420487e + 732ee8d
commit 1259b86
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/infrastructure/docker/nginx/docker-entrypoint.sh b/infrastructure/docker/nginx/docker-entrypoint.sh
@@ -20,11 +20,11 @@ if [ "$1" = "nginx" -o "$1" = "nginx-debug" ]; then
             case "$f" in
                 *.envsh)
                     if [ -x "$f" ]; then
-                        echo >&3 "$0: Sourcing $f";
+                        entrypoint_log "$0: Sourcing $f";
                         . "$f"
                     else
                         # warn on shell scripts without exec bit
-                        echo >&3 "$0: Ignoring $f, not executable";
+                        entrypoint_log "$0: Ignoring $f, not executable";
                     fi
                     ;;
                 *.sh)