- From: Martin Thomson <notifications@github.com>
- Date: Tue, 24 May 2016 13:34:18 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc:
Received on Tuesday, 24 May 2016 20:34:47 UTC
That might be confused for the new subscription. Maybe call it `oldSubscription`. Also note that we might not actually return `null` in response to `getSubscription()` if we are pre-emptively removing the subscription (the protocol doesn't support a signal of this sort, but we know that no one is currently using the protocol on this leg just yet). --- 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/193#issuecomment-221382850
Received on Tuesday, 24 May 2016 20:34:47 UTC