From 9f9f1decca4a06d81ce97b64ef1a06fda3b8efad Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 24 Feb 2014 22:00:25 -0400 Subject: add UrlOptions sum type --- Remote/Git.hs | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'Remote/Git.hs') diff --git a/Remote/Git.hs b/Remote/Git.hs index f3aa2b7f1..d7385ef31 100644 --- a/Remote/Git.hs +++ b/Remote/Git.hs @@ -184,11 +184,10 @@ tryGitConfigRead r Left l -> return $ Left l geturlconfig = do - (headers, options) <- getHttpHeadersOptions - ua <- Url.getUserAgent + uo <- Url.getUrlOptions v <- liftIO $ withTmpFile "git-annex.tmp" $ \tmpfile h -> do hClose h - ifM (Url.downloadQuiet (Git.repoLocation r ++ "/config") headers options tmpfile ua) + ifM (Url.downloadQuiet (Git.repoLocation r ++ "/config") tmpfile uo) ( pipedconfig "git" [Param "config", Param "--null", Param "--list", Param "--file", File tmpfile] , return $ Left undefined ) @@ -261,8 +260,7 @@ inAnnex rmt key r = repo rmt checkhttp = do showChecking r - (headers, options) <- getHttpHeadersOptions - ifM (anyM (\u -> Url.withUserAgent $ Url.checkBoth u headers options (keySize key)) (keyUrls rmt key)) + ifM (Url.withUrlOptions $ \uo -> anyM (\u -> Url.checkBoth u (keySize key) uo) (keyUrls rmt key)) ( return $ Right True , return $ Left "not found" ) -- cgit v1.2.3