cmd/fetch: support retrying manifest downloads

This commit is contained in:
Bo Anderson 2023-10-13 21:14:07 +01:00
parent b085889f51
commit 337a8fc6ea
No known key found for this signature in database
GPG Key ID: 3DB94E204E137D65

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