github/JavaScriptServices
1
1
Fork 0
mirror of https://github.com/aspnet/JavaScriptServices.git synced 2025-12-22 17:47:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Ensure fallback to curl after failed wget

Browse Source
This commit is contained in:
John Luo
2017-08-02 14:32:21 -07:00
parent d2858beaa1
commit 63f7ac9330
1 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
build.sh
View File

@@ -99,16 +99,19 @@ __get_remote_file() {
return 0 return 0
fi fi
local succeeded=false local failed=false
if __machine_has wget; then if __machine_has wget; then
wget --tries 10 --quiet -O "$local_path" "$remote_path" && succeeded=true wget --tries 10 --quiet -O "$local_path" "$remote_path" || failed=true
else
failed=true
fi fi
if [ "$succeeded" = false ] && __machine_has curl; then if [ "$failed" = true ] && __machine_has curl; then
curl --retry 10 -sSL -f --create-dirs -o "$local_path" "$remote_path" && succeeded=true failed=false
curl --retry 10 -sSL -f --create-dirs -o "$local_path" "$remote_path" || failed=true
fi fi
if [ "$succeeded" = false ]; then if [ "$failed" = true ]; then
__error "Download failed: $remote_path" 1>&2 __error "Download failed: $remote_path" 1>&2
return 1 return 1
fi fi