- From: Martin Thomson <notifications@github.com>
- Date: Wed, 20 Oct 2021 22:15:40 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 21 October 2021 05:15:53 UTC
There are two things going on here, so maybe we could do a little to extract them: 1. if a subscription is terminated, does pushsubscriptionchange fire? 2. if a subscription changes, what information needs to be included in the event? The original question was about the information in the event (2); but that question is about termination (1). I believe that the purpose of the event was to signal termination (with `event.newSubscription == null`), but if that has not been implemented. Maybe we need to reconsider that idea in the face of browsers not choosing to follow the spec. No point in a fictional specification. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/issues/325#issuecomment-948265195
Received on Thursday, 21 October 2021 05:15:53 UTC