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 Add new system for defining and running queue-processing workers 2013-09-24 20:44:15 -04:00
queue_processors.py push_notifications: Clear PushDeviceToken on API key change. 2019-11-19 15:37:43 -08:00