etcd/etcdserver
Maciej Borsz 3865d69db3
etcdserver: add is_leader prometheus metric that is 1 on the leader.
Before this change, we had now way to find a leader using /metrics
endpoint. This commit adds a metric to do that.
2018-04-23 11:10:12 -07:00
..
2016-10-03 17:03:22 +08:00
2017-03-23 09:53:56 -07:00
2016-05-12 20:49:40 -07:00
2016-09-27 13:41:40 +08:00