Skip to content

Adjust subscription op=peer_* events for ZFL35+ #814

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Oct 27, 2020

Conversation

neiljp
Copy link
Collaborator

@neiljp neiljp commented Oct 24, 2020

Previously these events contained single stream and user ids, but now instead contain lists of each to reduce the numbers of events required for cases where users join or leave large numbers of streams.

This is already merged into master as of zulip/zulip@7ff3859, so pending zulip/zulip#16628, this should limit breakage for those using czo.

@neiljp neiljp added high priority should be done as soon as possible requires new server feature area: event handling How events from the server are responded to labels Oct 24, 2020
@zulipbot zulipbot added the size: L [Automatic label added by zulipbot] label Oct 24, 2020
@neiljp neiljp force-pushed the 2020-10-24-subscription-peer-events-ZFL35 branch from 1760aab to 6768177 Compare October 26, 2020 22:02
@neiljp neiljp added the PR ready to be merged PR has been reviewed & is ready to be merged label Oct 26, 2020
@neiljp neiljp changed the title [WIP] Adjust subscription op=peer_* events for ZFL35+ Adjust subscription op=peer_* events for ZFL35+ Oct 26, 2020
@neiljp neiljp force-pushed the 2020-10-24-subscription-peer-events-ZFL35 branch from 6768177 to f3e450f Compare October 27, 2020 00:03
@zulipbot zulipbot added size: XL [Automatic label added by zulipbot] and removed size: L [Automatic label added by zulipbot] labels Oct 27, 2020
@neiljp neiljp force-pushed the 2020-10-24-subscription-peer-events-ZFL35 branch 3 times, most recently from 6516914 to 650bf57 Compare October 27, 2020 17:22
@neiljp neiljp force-pushed the 2020-10-24-subscription-peer-events-ZFL35 branch from 650bf57 to aa7c147 Compare October 27, 2020 18:29
Previously these events contained single stream and user ids, but now
instead contain lists of each to reduce the numbers of events required
for cases where users join or leave large numbers of streams.

Note that the server API was changed while the feature level was set to
34, prior to being locked in at ZFL 35, so ZFL 34 can in principle
contain both API styles. Consequently tests at ZFL 34 are handled more
fully than in other ZFL-dependent cases.

Tests added & updated.
@neiljp neiljp force-pushed the 2020-10-24-subscription-peer-events-ZFL35 branch from aa7c147 to f446b69 Compare October 27, 2020 20:59
@neiljp
Copy link
Collaborator Author

neiljp commented Oct 27, 2020

Merging this now that travis is more reliable again 🎉

@neiljp neiljp merged commit 7efaaf9 into zulip:master Oct 27, 2020
@neiljp neiljp added this to the Next Release milestone Oct 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: event handling How events from the server are responded to high priority should be done as soon as possible PR ready to be merged PR has been reviewed & is ready to be merged requires new server feature size: XL [Automatic label added by zulipbot]
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants