Merge pull request #16111 from Bo98/manifest-retry

cmd/fetch: support retrying manifest downloads
This commit is contained in:
Bo Anderson 2023-10-13 21:31:52 +01:00 committed by GitHub
commit eddbc0d732
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -129,7 +129,12 @@ module Homebrew
next
end
formula.fetch_bottle_tab
begin
bottle.fetch_tab
rescue DownloadError
retry if retry_fetch?(bottle, args: args)
raise
end
fetch_formula(bottle, args: args)
rescue Interrupt
raise