Re: [w3c/push-api] pushManager.subscribe should replace applicationServerKey if different (#291)

> Basically, errors happen and in case you need to replace the applicationServerKey you need to ask to the end users to manually unsubscribe and then resubscribe.

Hi @collimarco! I don't understand why you'd need to ask the user; could you please elaborate? Assuming they haven't revoked permission, you should be able to call `getSubscription`, compare keys, and `unsubscribe` and `subscribe` again on mismatch without a permission dialog popping up, no?

-- 
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/291#issuecomment-366455538