Tim Abbott 6407d0b1f9 push_notifications: Clear PushDeviceToken on API key change. ...

This includes adding a new endpoint to the push notification bouncer
interface, and code to call it appropriately after resetting a user's
personal API key.

When we add support for a user having multiple API keys, we may need
to add an additional key here to support removing keys associated with
just one client.

2019-11-19 15:37:43 -08:00

89 KiB

Raw Blame History

View Raw