From 147aaa10128b06d5478dbcc3c3e4905b3bca1d7d Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 18 Sep 2014 14:39:05 -0400 Subject: [PATCH] remove unused function --- Utility/Url.hs | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/Utility/Url.hs b/Utility/Url.hs index 9cbabac399..cb950b8248 100644 --- a/Utility/Url.hs +++ b/Utility/Url.hs @@ -161,20 +161,6 @@ headRequest r = r (requestHeaders r) } -addUrlOptions :: UrlOptions -> Request -> Request -addUrlOptions uo r = r { requestHeaders = requestHeaders r ++ uaheader ++ otherheaders} - where - uaheader = case userAgent uo of - Nothing -> [] - Just ua -> [(hUserAgent, B8.fromString ua)] - otherheaders = map toheader (reqHeaders uo) - toheader s = - let (h, v) = separate (== ':') s - h' = CI.mk (B8.fromString h) - in case v of - (' ':v') -> (h', B8.fromString v') - _ -> (h', B8.fromString v) - {- Used to download large files, such as the contents of keys. - - Uses wget or curl program for its progress bar. (Wget has a better one,