mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

catch exception checking if url exists when network is disconnected

Browse source 
Leads to better failure message (or possibly fallback to another remote).
This commit is contained in:
Joey Hess 2014-01-16 21:24:17 -04:00
parent 2d9ec29154
commit 0d544649d0
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Remote/Web.hs
View file

@ -118,7 +118,8 @@ checkKey' key us = firsthit us (Right False) $ \u -> do
#endif #endif
DefaultDownloader -> do DefaultDownloader -> do
headers <- getHttpHeaders headers <- getHttpHeaders
Right <$> Url.withUserAgent (Url.checkBoth u' headers $ keySize key) Url.withUserAgent $ catchMsgIO .
Url.checkBoth u' headers (keySize key)
where where
firsthit [] miss _ = return miss firsthit [] miss _ = return miss
firsthit (u:rest) _ a = do firsthit (u:rest) _ a = do