From b6fb2e3a3384d2b9a92002aaf26c0c0d535ee4d3 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 24 Feb 2014 21:29:37 -0400 Subject: Make annex.web-options be used in several places that call curl. --- Remote/Web.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Remote/Web.hs') 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 -- cgit v1.2.3