[GitHub] [flink] StefanRRichter commented on pull request #6702: [FLINK-10135] The JobManager does not report the cluster-level metrics

[GitHub]

I would prefer
`return (long) 
resourceManager.requestResourceOverview(defaultRequestTimeout).get().getNumberTaskManagers();`.
 There are more instances of this case below.

[ Full content available at: https://github.com/apache/flink/pull/6702 ]
This message was relayed via gitbox.apache.org for devnull@infra.apache.org