mirror of
https://github.com/zulip/zulip.git
synced 2025-10-23 04:52:12 +00:00
d78f338916
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.