diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-08-15 13:56:12 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-08-15 13:56:12 -0400 |
| commit | 0c4c9db9e8860d05eab5b9766d8719ceec1b0b9d (patch) | |
| tree | 32d0d726c47cc3b4ca5bb3e6d7f4ae169b13bb42 /Utility | |
| parent | d4b2c4b56ca97c7e51f4fd122d54e23fa7207078 (diff) | |
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.
Diffstat (limited to 'Utility')
| -rw-r--r-- | Utility/Url.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Utility/Url.hs b/Utility/Url.hs index 27bccd1b3..d49953c55 100644 --- a/Utility/Url.hs +++ b/Utility/Url.hs @@ -56,6 +56,7 @@ managerSettings = tlsManagerSettings #else managerSettings = conduitManagerSettings #endif + { managerResponseTimeout = responseTimeoutNone } type URLString = String |