hi，大家好 我在使用Prometheus Pushgateway 监控 Flink时，metrics.reporter.promgateway.deleteOnShutdown: true 这一配置失效， Flink集群关闭时，pushgateway中仍然存有metrics数据 reporter相关的全部配置为：
metrics.reporter.promgateway.class: org.apache.flink.metrics.prometheus.PrometheusPushGatewayReporter metrics.reporter.promgateway.host: localhost metrics.reporter.promgateway.port: 9091 metrics.reporter.promgateway.jobName: myJob metrics.reporter.promgateway.randomJobNameSuffix: *true* metrics.reporter.promgateway.deleteOnShutdown: *true* Flink版本为1.9.1， pushgateway版本0.9 和1.2都尝试过，一样的问题。 不知道这是不是bug， 有谁有成功的案例么？ 谢谢
