diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-02-24 22:00:25 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-02-24 22:00:25 -0400 |
| commit | 9f9f1decca4a06d81ce97b64ef1a06fda3b8efad (patch) | |
| tree | 1f207862430497549281d510837dfcd9782f69af /Remote/Web.hs | |
| parent | ba6f7e1e38063e4b338d6a7537b575411193b2b6 (diff) | |
add UrlOptions sum type
Diffstat (limited to 'Remote/Web.hs')
| -rw-r--r-- | Remote/Web.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index d41b12b6a..ddd1fc1cc 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -14,7 +14,6 @@ import Types.Remote import qualified Git import qualified Git.Construct import Annex.Content -import Config import Config.Cost import Logs.Web import Types.Key @@ -117,9 +116,8 @@ checkKey' key us = firsthit us (Right False) $ \u -> do return $ Left "quvi support needed for this url" #endif DefaultDownloader -> do - (headers, options) <- getHttpHeadersOptions - Url.withUserAgent $ catchMsgIO . - Url.checkBoth u' headers options (keySize key) + Url.withUrlOptions $ catchMsgIO . + Url.checkBoth u' (keySize key) where firsthit [] miss _ = return miss firsthit (u:rest) _ a = do |