From b1ca77e327e5d0e3bd65c5d1e3adba057b993a52 Mon Sep 17 00:00:00 2001 From: Lukas Wingerberg Date: Wed, 1 Nov 2023 09:47:34 +0100 Subject: [PATCH] Update docker/init_scripts/init Co-authored-by: Georges-Antoine Assi --- docker/init_scripts/init | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/init_scripts/init b/docker/init_scripts/init index ab50cd962..61a152753 100755 --- a/docker/init_scripts/init +++ b/docker/init_scripts/init @@ -27,7 +27,7 @@ info_log () { echo "INFO: [init][$(date +"%Y-%m-%d %T")]" "${@}" } -# print debug log output if enabled +# print error log output if enabled error_log () { echo "ERROR: [init][$(date +"%Y-%m-%d %T")]" "${@}" exit 1