[GitHub] flink issue #5734: [FLINK-9026][Metrics] Close the TaskManagerMetricGroup wh...
Github user sihuazhou commented on the issue: https://github.com/apache/flink/pull/5734 CC: @tillrohrmann ---
[GitHub] flink issue #5734: [FLINK-9026][Metrics] Close the TaskManagerMetricGroup wh...
Github user sihuazhou commented on the issue: https://github.com/apache/flink/pull/5734 CC: @zentol I've addressed your comments and Travis given green light, could you please have a look again? ---
[GitHub] flink issue #5734: [FLINK-9026][Metrics] Close the TaskManagerMetricGroup wh...
Github user sihuazhou commented on the issue: https://github.com/apache/flink/pull/5734 Hi @tillrohrmann could you please have a look at this PR? ---