diff options
author | 2013-10-11 14:21:06 -0400 | |
---|---|---|
committer | 2013-10-11 14:21:06 -0400 | |
commit | 388d27825323091f317ed380e3105f88df3f66cb (patch) | |
tree | 24e27eef33ae4949affe6d42079dd07d7a925cc2 /Remote/Git.hs | |
parent | 6af9822118dca6c9416c0d13635b13ee68bd13f6 (diff) | |
parent | f81b89510d558ee38e6338c433e4f1b01c2cd5f3 (diff) |
Merge branch 'master' into incrementalfsck
Diffstat (limited to 'Remote/Git.hs')
-rw-r--r-- | Remote/Git.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/Git.hs b/Remote/Git.hs index e8ab57281..4cdedd064 100644 --- a/Remote/Git.hs +++ b/Remote/Git.hs @@ -241,7 +241,7 @@ inAnnex r key where checkhttp headers = do showChecking r - ifM (anyM (\u -> Url.withUserAgent $ Url.check u headers (keySize key)) (keyUrls r key)) + ifM (anyM (\u -> Url.withUserAgent $ Url.checkBoth u headers (keySize key)) (keyUrls r key)) ( return $ Right True , return $ Left "not found" ) |