admin/brew
1
0
Fork 0
Code Issues Packages Projects Releases 6 Wiki Activity

Change inititial partial request to HEAD request

Browse Source
This commit is contained in:
cnnrmnn 2021-05-13 11:39:59 -04:00
parent 321c165bd3
commit aa989bd55a
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Library/Homebrew/utils/curl.rb
View File

@ -118,15 +118,15 @@ module Utils
result result
end end
def curl_download(*args, to: nil, partial: true, **options) def curl_download(*args, to: nil, try_partial: true, **options)
destination = Pathname(to) destination = Pathname(to)
destination.dirname.mkpath destination.dirname.mkpath
if partial if try_partial
range_stdout = curl_output("--location", "--range", "0-1", range_stdout = curl_output("--location", "--range", "0-1",
"--dump-header", "-", "--dump-header", "-",
"--write-out", "%\{http_code}", "--write-out", "%\{http_code}",
"--output", "/dev/null", *args, **options).stdout "--head", *args, **options).stdout
headers, _, http_status = range_stdout.partition("\r\n\r\n") headers, _, http_status = range_stdout.partition("\r\n\r\n")
supports_partial_download = http_status.to_i == 206 # Partial Content supports_partial_download = http_status.to_i == 206 # Partial Content