zulip/zerver/worker
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
..
__init__.py
queue_processors.py push_notifications: Clear PushDeviceToken on API key change. 2019-11-19 15:37:43 -08:00