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

Yes, that is the case on all implementations I'm aware of.

Silently replacing any previous subscriptions feels risky to me - as the developer, you'd want to synchronize such a change with your server. Changing the `applicationServerKey` of a subscription is a deliberately decision, and providing some sort of upgrade path for existing subscriptions with that would be reasonable.

-- 
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-419914237

Received on Monday, 10 September 2018 13:36:17 UTC