projects
/
git-annex.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3d1a4fe
)
whitespace
author
Joey Hess
<joeyh@joeyh.name>
Wed, 28 Dec 2016 04:17:36 +0000
(
00:17
-0400)
committer
Joey Hess
<joeyh@joeyh.name>
Wed, 28 Dec 2016 04:17:36 +0000
(
00:17
-0400)
Utility/Url.hs
patch
|
blob
|
history
diff --git
a/Utility/Url.hs
b/Utility/Url.hs
index a4523d73f76bf8423f2ed4b2620f04b98fc2b804..da1a38dd33f84f0418072eb473ac7ff1cda4fa1c 100644
(file)
--- a/
Utility/Url.hs
+++ b/
Utility/Url.hs
@@
-110,6
+110,7
@@
checkBoth :: URLString -> Maybe Integer -> UrlOptions -> IO Bool
checkBoth url expected_size uo = do
v <- check url expected_size uo
return (fst v && snd v)
+
check :: URLString -> Maybe Integer -> UrlOptions -> IO (Bool, Bool)
check url expected_size = go <$$> getUrlInfo url
where