Files
etcd/etcdserver
Maciej Borsz 7cbc2f1068 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 14:59:31 -07:00
..
2016-05-12 20:49:40 -07:00
2017-11-10 18:46:15 -08:00