mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Make annex.web-options be used in several places that call curl.

Browse source
This commit is contained in:
Joey Hess 2014-02-24 21:29:37 -04:00
parent 46cc39f1a4
commit c69d6eb035
9 changed files with 39 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Remote/Web.hs
View file

@ -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