[GitHub] [zookeeper] jhuan31 commented on a change in pull request #858: ZOOKEEPER-3321: Add metrics for Leader

2019-03-20 Thread GitBox
jhuan31 commented on a change in pull request #858: ZOOKEEPER-3321: Add metrics for Leader URL: https://github.com/apache/zookeeper/pull/858#discussion_r267417587 ## File path: zookeeper-server/src/test/java/org/apache/zookeeper/server/quorum/LeaderMetricsTest.java ## @@

[GitHub] [zookeeper] jhuan31 commented on a change in pull request #858: ZOOKEEPER-3321: Add metrics for Leader

2019-03-18 Thread GitBox
jhuan31 commented on a change in pull request #858: ZOOKEEPER-3321: Add metrics for Leader URL: https://github.com/apache/zookeeper/pull/858#discussion_r266737276 ## File path: zookeeper-server/src/test/java/org/apache/zookeeper/server/quorum/LeaderMetricsTest.java ## @@

[GitHub] [zookeeper] jhuan31 commented on a change in pull request #858: ZOOKEEPER-3321: Add metrics for Leader

2019-03-18 Thread GitBox
jhuan31 commented on a change in pull request #858: ZOOKEEPER-3321: Add metrics for Leader URL: https://github.com/apache/zookeeper/pull/858#discussion_r266731253 ## File path: zookeeper-server/src/main/java/org/apache/zookeeper/server/quorum/Leader.java ## @@ -101,6 +101