Auto merge of #1507 - ageis:wget-retry, r=bitcartel
Set wget retry options for fetching parameters This will retry upon refused connections and similar errors, wait 1 second before the next retry, time out after 10 seconds if no data is received or the connection times out, plus try an infinite number of times. Resolves #1196.
This commit is contained in:
commit
137d1f14eb
|
@ -22,6 +22,7 @@ function fetch_params {
|
||||||
--progress=dot:giga \
|
--progress=dot:giga \
|
||||||
--output-document="$dlname" \
|
--output-document="$dlname" \
|
||||||
--continue \
|
--continue \
|
||||||
|
--retry-connrefused --waitretry=3 --timeout=30 \
|
||||||
"$url"
|
"$url"
|
||||||
|
|
||||||
shasum -a 256 --check <<EOF
|
shasum -a 256 --check <<EOF
|
||||||
|
|
Loading…
Reference in New Issue