Re: [push-api] Fire pushsubscriptionchange when user revokes permission (#116) from Martin Thomson on 2016-01-26 (public-webapps-github@w3.org from January 2016)

From: Martin Thomson <notifications@github.com>
Date: Mon, 25 Jan 2016 22:24:50 -0800
To: w3c/push-api <push-api@noreply.github.com>
Message-ID: <w3c/push-api/issues/116/174852351@github.com>

I think that since we do have the permission API, the simplest (and least-surprising) option would be to have the page check and re-subscribe if the permission is re-granted.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/116#issuecomment-174852351

Received on Tuesday, 26 January 2016 06:27:57 UTC