- From: Michael[tm] Smith <notifications@github.com>
- Date: Sat, 06 May 2017 19:23:22 -0700
- To: whatwg/encoding <encoding@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Sunday, 7 May 2017 02:23:56 UTC
This restores 9ce8d47 but refines such that if curl hits a timeout, it
will automatically retry each request up to 7 times.
>From the curl(1) man page:
> --retry <num>
> If a transient error is returned when curl tries to perform a
> transfer, it will retry this number of times before giving up.
> Setting the number to 0 makes curl do no retries (which is the
> default). Transient error means either: a timeout, an FTP 4xx
> response code or an HTTP 5xx response code.
>
> When curl is about to retry a transfer, it will first wait one
> second and then for all forthcoming retries it will double the
> waiting time until it reaches 10 minutes which then will be the
> delay between the rest of the retries.
Addresses #97
You can view, comment on, or merge this pull request online at:
https://github.com/whatwg/encoding/pull/109
-- Commit Summary --
* Meta: retry HTML checker by curl, suppress warnings
-- File Changes --
M .travis.yml (11)
M deploy.sh (10)
-- Patch Links --
https://github.com/whatwg/encoding/pull/109.patch
https://github.com/whatwg/encoding/pull/109.diff
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/encoding/pull/109
Received on Sunday, 7 May 2017 02:23:56 UTC