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.

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

etcdserver: add is_leader prometheus metric that is 1 on the leader. #9587

Merged
merged 1 commit into from
Apr 19, 2018

Conversation

mborsz
Copy link
Contributor

@mborsz mborsz commented Apr 19, 2018

Before this change, we had now way to find a leader using /metrics endpoint. This commit adds a metric to do that.

Before this change, we had now way to find a leader using /metrics
endpoint. This commit adds a metric to do that.
@mborsz
Copy link
Contributor Author

mborsz commented Apr 19, 2018

cc @wojtek-t @jpbetz @gyuho

Copy link
Contributor

@jpbetz jpbetz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

Copy link
Contributor

@gyuho gyuho left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm thanks!

@gyuho gyuho merged commit 8f8b32b into etcd-io:master Apr 19, 2018
@gyuho gyuho mentioned this pull request Apr 19, 2018
18 tasks
gyuho added a commit that referenced this pull request Apr 23, 2018
@junotx junotx mentioned this pull request Sep 9, 2021
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

None yet

3 participants