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

Disable http-client's default 30 second response timeout when HEADing an url to check if it exists. Some web servers take quite a long time to answer a HEAD request.

Browse source
This commit is contained in:
Joey Hess 2017-08-15 13:56:12 -04:00
parent e5109468e2
commit 69dcb08d7a
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
5 changed files with 32 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Utility/Url.hs
View file

@ -56,6 +56,7 @@ managerSettings = tlsManagerSettings
#else
managerSettings = conduitManagerSettings
#endif
{ managerResponseTimeout = responseTimeoutNone }
type URLString = String