+ debug info if web resources can not be loaded

This commit is contained in:
committer
2024-05-31 12:54:43 -05:00
parent e3fc0528cd
commit f518cb43c8

View File

@@ -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}
}