- From: Martin Thomson <notifications@github.com>
- Date: Fri, 06 Mar 2015 11:21:15 -0800
- To: w3c/push-api <push-api@noreply.github.com>
Received on Friday, 6 March 2015 19:21:45 UTC
I don't see why you couldn't mark subscriptions as dead and kill them when you next talk to the server. A simple approach would be to avoid (i.e., defer) all interactions with subscriptions unless you are "connected". No need for retrying and back-off and all that nasty stuff. I think that you probably need to allow that, since you are going to want to clean up subscriptions in some cases anyway. For instance, if a user clears cookies for that origin. --- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/issues/122#issuecomment-77618866
Received on Friday, 6 March 2015 19:21:45 UTC