From 75c10dae849a92feaa35cda087652158da1982f2 Mon Sep 17 00:00:00 2001 From: Phillis Tang Date: Tue, 2 Nov 2021 14:40:35 -0700 Subject: [PATCH] address comments --- index.html | 25 +++++++++++++------------ 1 file changed, 13 insertions(+), 12 deletions(-) diff --git a/index.html b/index.html index 0daf65974..c1609b7b2 100644 --- a/index.html +++ b/index.html @@ -831,11 +831,12 @@

application, it SHOULD treat that manifest as a description of a distinct application, even if it is served from the same URL as that of another application. When the user agent sees a manifest where - |manifest|["id"] [=url/equal|equals=] the [=identity=] of an - already-installed application, it SHOULD be used as a signal that - this manifest is a replacement for the already-installed - application's manifest, and not a distinct application, even if it is - served from a different URL than the one seen previously. + |manifest|["id"] is [=url/equal=] with [=URL serializer/exclude + fragment|exclude fragment true=] to the [=identity=] of an + already-installed application, it SHOULD be used as a signal that this + manifest is a replacement for the already-installed application's + manifest, and not a distinct application, even if it is served from a + different URL than the one seen previously.

The [=identity=] can be used by a service that collects lists of web @@ -1282,6 +1283,13 @@

  • [=Process the `id` member=] passing |json|, |manifest| and |document URL|.
  • +
  • + If the [=document=]'s [=document|processed + manifest=] is not null, and [=document=]'s [=document|processed + manifest=]'s id is not + [=URL/equal=] with [=URL serializer/exclude fragment|exclude fragment true=] to |manifest|["id"], + return. +
  • [=Process the `scope` member=] passing |json|, |manifest|, and |manifest URL|.
  • @@ -1422,13 +1430,6 @@

    such fields are to be be updated to avoid web applications being installed and silently changed to appear as a different one.

    -

    - When the user agent fetches a manifest as part of an update check, - it MUST [=url/equal|compare=] the fetched processed manifest's - [=manifest/identity=] with the identity of the app being updated. If - it is not equal, the user agent MUST NOT update the installed - application's manifest. -