w3c / push-api

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

Separate out an algorithm for creating a push subscription #235

Closed beverloo closed 7 years ago

beverloo commented 7 years ago

This is currently only done when the developer calls subscribe(), but now that user agents can refresh subscriptions we'll have to reuse it.