Capture curl download agent error message (JuliaLang#31209)

musm · Mar 12, 2019 · d7fdd75 · d7fdd75
1 parent 48e7a35
commit d7fdd75
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/base/download.jl b/base/download.jl
@@ -35,8 +35,13 @@ function find_curl()
  end
 end
 
-function download_curl(curl_exe, url, filename)
- run(`$curl_exe -s -S -g -L -f -o $filename $url`)
+function download_curl(curl_exe::AbstractString, url::AbstractString, filename::AbstractString)
+ err = PipeBuffer()
+ process = run(pipeline(`$curl_exe -s -S -g -L -f -o $filename $url`, stderr=err), wait=false)
+ if !success(process)
+ stderr = readline(err)
+ error(stderr)
+ end
  return filename
 end