Tim Abbott da8f4bc0e9 push notifications: Add support for removing GCM push notifications. ... This uses the recently introduced active_mobile_push_notification flag; messages that have had a mobile push notification sent will have a removal push notification sent as soon as they are marked as read. Note that this feature is behind a setting, SEND_REMOVE_PUSH_NOTIFICATIONS, since the notification format is not supported by the mobile apps yet, and we want to give a grace period before we start sending notifications that appear as (null) to clients. But the tracking logic to maintain the set of message IDs with an active push notification runs unconditionally. This is designed with at-least-once semantics; so mobile clients need to handle the possibility that they receive duplicat requests to remove a push notification. We reuse the existing missedmessage_mobile_notifications queue processor for the work, to avoid materially impacting the latency of marking messages as read. Fixes #7459, though we'll need to open a follow-up issue for using these data on iOS.		2018-08-10 13:58:39 -07: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: Add support for removing GCM push notifications.	2018-08-10 13:58:39 -07:00