Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Zenoh-Ext Group management should provide an operation to get the eventual leader #461

Closed
kydos opened this issue Mar 31, 2023 · 0 comments
Closed

Zenoh-Ext Group management should provide an operation to get the eventual leader #461

kydos opened this issue Mar 31, 2023 · 0 comments
Labels
enhancement Existing things could work better

Comments

@kydos
Copy link
Member

kydos commented Mar 31, 2023

Describe the feature

zenoh_ext provides a group management abstraction but at the present stage does not provide a way of agreeing on a leader. As we have an eventual group view, we could use this to elect an eventual leader. This would be a useful extension for the group management users that require to differentiate one of the members as the leader.
kydos added a commit to kydos/zenoh that referenced this issue Mar 31, 2023
@kydos
Added eventual leader on group management (see eclipse-zenoh#461)
6b63634
kydos added a commit to kydos/zenoh that referenced this issue Mar 31, 2023
@kydos
Formatted as per cargo fmt (eclipse-zenoh#461)
a4913e6
@kydos kydos added the enhancement Existing things could work better label Apr 3, 2023
kydos added a commit that referenced this issue Apr 3, 2023
@kydos
Merge pull request #463 from kydos/master
e316b63 
Added eventual leader to zenoh-ext group (#461)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement Existing things could work better
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@kydos