- 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