From f518cb43c81debf27f9c12503eef9bee3fe6caba Mon Sep 17 00:00:00 2001 From: committer Date: Fri, 31 May 2024 12:54:43 -0500 Subject: [PATCH] + debug info if web resources can not be loaded --- scripts/curae.sh | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/scripts/curae.sh b/scripts/curae.sh index ef8723f..1071c99 100644 --- a/scripts/curae.sh +++ b/scripts/curae.sh @@ -56,7 +56,17 @@ execute_script() { parameter_1=$2 parameter_2=$3 echo "execute: ${file} ${parameter_1} ${parameter_2}" - wget -q ${scripts_url}/${file} -O /tmp/${file} + resource_url=${scripts_url}/${file} + + if ! wget -q --method=HEAD ${resource_url}; + then + echo "error: unable to load '${resource_url}'" + echo "" + wget -v ${resource_url} + exit 1 + fi + + wget -q ${resource_url} -O /tmp/${file} chmod 755 /tmp/*.sh /tmp/${file} ${parameter_1} ${parameter_2} }