[GitHub] zookeeper issue #580: ZOOKEEPER-3098: Add additional server metrics

[hanm]

Github user hanm commented on the issue:

    https://github.com/apache/zookeeper/pull/580
  
    Got a [green 
build](https://builds.apache.org/job/PreCommit-ZOOKEEPER-github-pr-build/2193/).
 Merging.


---