- From: Ming-Ying Chung <notifications@github.com>
- Date: Tue, 16 May 2023 09:15:43 -0700
- To: whatwg/fetch <fetch@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 16 May 2023 16:15:49 UTC
@mingyc commented on this pull request. > @@ -8449,6 +8597,60 @@ with a <var>promise</var>, <var>request</var>, <var>responseObject</var>, and an </div> +<h3 id=fetch-later-method>FetchLater method</h3> + +<pre class=idl> + +dictionary DeferredRequestInit : RequestInit { + DOMHighResTimeStamp backgroundTimeout; Per reason discussions with our OT users, it looks like there is also some need for `pageHideTimeout` in addition to `backgroundTimeout`. Should we consider replace this with a general `timeout` which kicks off after calling `fetchLater()`, and let user freely decide whichever event to with it with? -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/fetch/pull/1647#pullrequestreview-1428951526 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/fetch/pull/1647/review/1428951526@github.com>
Received on Tuesday, 16 May 2023 16:15:49 UTC