diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-02-24 21:29:37 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-02-24 21:29:37 -0400 |
| commit | b6fb2e3a3384d2b9a92002aaf26c0c0d535ee4d3 (patch) | |
| tree | 9dca4e7d6168983ebc0497672c4bdf6de7a82f31 /Remote/Web.hs | |
| parent | d2ff4e12d0ae0d32263e258ea7c2a283d1d92149 (diff) | |
Make annex.web-options be used in several places that call curl.
Diffstat (limited to 'Remote/Web.hs')
| -rw-r--r-- | Remote/Web.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index 2863d9d5e..d41b12b6a 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -117,9 +117,9 @@ checkKey' key us = firsthit us (Right False) $ \u -> do return $ Left "quvi support needed for this url" #endif DefaultDownloader -> do - headers <- getHttpHeaders + (headers, options) <- getHttpHeadersOptions Url.withUserAgent $ catchMsgIO . - Url.checkBoth u' headers (keySize key) + Url.checkBoth u' headers options (keySize key) where firsthit [] miss _ = return miss firsthit (u:rest) _ a = do |