Files
etcd/etcdserver
Maciej Borsz d45053c068 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:53 -07:00
..
2017-11-16 09:05:06 -08:00
2017-03-08 20:54:15 -08:00
2016-05-12 20:49:40 -07:00