etcd/etcdserver
Maciej Borsz 46bc966aa7 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-19 11:47:40 +02:00
..
2018-02-26 17:11:40 -08:00
2018-02-26 17:11:40 -08:00
2016-05-12 20:49:40 -07:00
2018-04-16 17:36:00 -07:00