[GitHub] flink pull request #5857: [FLINK-9187][METRICS] add prometheus pushgateway r...

[zentol]

Github user zentol commented on a diff in the pull request:

    https://github.com/apache/flink/pull/5857#discussion_r191175257
  
    --- Diff: 
flink-metrics/flink-metrics-prometheus/src/main/java/org/apache/flink/metrics/prometheus/PrometheusReporter.java
 ---
    @@ -120,199 +83,4 @@ public void close() {
                CollectorRegistry.defaultRegistry.clear();
    --- End diff --
    
    replace with `super.close()`


---