Re: [w3c/push-api] Expose pushManager on Window (PR #393)

@annevk commented on this pull request.



> +                </li>
+                <li>Compare the |options| argument with the `options` attribute of |subscription|.
+                The contents of {{BufferSource}} values are compared for equality rather than
+                [=ECMAScript/reference record|reference=].
+                </li>
+                <li>If any attribute on |options| contains a different value to that stored for
+                |subscription|, then [=queue a global task=] on the [=networking task source=]
+                using |global| to [=reject=] |promise| with an {{"InvalidStateError"}}
+                {{DOMException}} and terminate these steps.
+                </li>
+                <li>[=Queue a global task=] on the [=networking task source=] using |global| to
+                [=resolve=] |promise| with |subscription| and terminate these steps.
+                </li>
+              </ol>
+            </li>
+            <li>[=/Assert=]: |subscription| is null and |scope| is a [=/URL=].

Well, the above set of steps is somewhat long and this is not an otherwise branch..

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/393#discussion_r1969902811
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/push-api/pull/393/review/2641302419@github.com>