The result of a fetch metrics operation, initiated by a MetricsRequest.
6.10
Returns the metrics for a server.
the name of the server
the metrics for the server
Returns a list of server names for which the result has metrics. The names may be used with MetricsResult.getMetrics.
a set of server names
The result of a fetch metrics operation, initiated by a MetricsRequest.
6.10