diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-07-06 00:55:00 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-07-06 00:55:00 -0400 |
| commit | f5c23ac1ce67311347e38dd6d0b8ad9aa8e383de (patch) | |
| tree | 986552d76f25383dbee96404c118dd01ae773eea /Utility/Url.hs | |
| parent | fecdf83d983a61ab7a6ffc48c912361b8afd734c (diff) | |
Pass -f to curl when downloading a file with it, so it propigates failure.
Diffstat (limited to 'Utility/Url.hs')
| -rw-r--r-- | Utility/Url.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Utility/Url.hs b/Utility/Url.hs index e08266a76..c8020c814 100644 --- a/Utility/Url.hs +++ b/Utility/Url.hs @@ -116,7 +116,8 @@ download' quiet url headers options file = - the remainder to download as the whole file, - and not indicating how much percent was - downloaded before the resume. -} - curl = go "curl" $ headerparams ++ quietopt "-s" ++ [Params "-L -C - -# -o"] + curl = go "curl" $ headerparams ++ quietopt "-s" ++ + [Params "-f -L -C - -# -o"] go cmd opts = boolSystem cmd $ options++opts++[File file, File url] quietopt s |