diff options
author | 2014-02-24 22:00:25 -0400 | |
---|---|---|
committer | 2014-02-24 22:00:25 -0400 | |
commit | 9f9f1decca4a06d81ce97b64ef1a06fda3b8efad (patch) | |
tree | 1f207862430497549281d510837dfcd9782f69af /Remote/Git.hs | |
parent | ba6f7e1e38063e4b338d6a7537b575411193b2b6 (diff) |
add UrlOptions sum type
Diffstat (limited to 'Remote/Git.hs')
-rw-r--r-- | Remote/Git.hs | 8 |
1 files changed, 3 insertions, 5 deletions
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" ) |