Merge pull request #14496 from Rylan12/update-max-time
`update`: increase max time for API JSON updates
This commit is contained in:
commit
6b5b786f20
@ -780,7 +780,7 @@ EOS
|
|||||||
fi
|
fi
|
||||||
curl \
|
curl \
|
||||||
"${CURL_DISABLE_CURLRC_ARGS[@]}" \
|
"${CURL_DISABLE_CURLRC_ARGS[@]}" \
|
||||||
--fail --compressed --silent --max-time 5 \
|
--fail --compressed --silent --max-time 10 \
|
||||||
--location --remote-time --output "${HOMEBREW_CACHE}/api/${formula_or_cask}.json" \
|
--location --remote-time --output "${HOMEBREW_CACHE}/api/${formula_or_cask}.json" \
|
||||||
--time-cond "${HOMEBREW_CACHE}/api/${formula_or_cask}.json" \
|
--time-cond "${HOMEBREW_CACHE}/api/${formula_or_cask}.json" \
|
||||||
--user-agent "${HOMEBREW_USER_AGENT_CURL}" \
|
--user-agent "${HOMEBREW_USER_AGENT_CURL}" \
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user