Re: [w3c/push-api] Clarify when to unsubscribe if the service worker is unregistered (#190)

This is all frightfully obtuse, but if we consider subscriptions to be bound to or owned by registrations, then `unregister()` already includes steps that would remove the subscription.  It's transitive, but I interpret the last step of https://slightlyoff.github.io/ServiceWorker/spec/service_worker/#clear-registration-algorithm to cover this.  Well, it's all down to garbage collection, but that shouldn't be observable by script.

Am I missing something?  I have to admit, it looks like the service work spec is designed to be maximally incomprehensible.

---
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/190#issuecomment-216734116