w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

oldSubscription is never null #375

Open annevk opened 2 months ago

annevk commented 2 months ago

Presumably oldSubscription is null the first time you create a push subscription, but this isn't actually stated anywhere. Instead there's an assumption there's always a push subscription holding the old keys presumably resulting in a crash.