mirror of
https://github.com/zulip/zulip.git
synced 2026-07-09 21:21:47 +08:00
In #35965 we added `push_device_registered_user_ids` to message & update_message event. Zulip servers with such events in their event queues when upgraded to the new version set push_device_registered_user_ids to empty list, which is incorrect - it leads to no push notification sent. This commit adds compatibility code to handle such events. The newly introduced `push_device_registered` check is used only for events with `push_device_registered_user_id` present in them. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| application.py | ||
| descriptors.py | ||
| django_api.py | ||
| event_queue.py | ||
| exceptions.py | ||
| handlers.py | ||
| ioloop_logging.py | ||
| sharding.py | ||
| views.py | ||