diff --git a/docs/_includes/generated/metric_configuration.html b/docs/_includes/generated/metric_configuration.html index b472724357fdc..15111fc21143f 100644 --- a/docs/_includes/generated/metric_configuration.html +++ b/docs/_includes/generated/metric_configuration.html @@ -10,7 +10,7 @@
metrics.fetcher.update-interval
10000 - Update interval for the metric fetcher used by the web UI in milliseconds. Decrease this value for faster updating metrics. Increase this value if the metric fetcher causes too much load. Setting this value to 0disables the metric fetching completely. + Update interval for the metric fetcher used by the web UI in milliseconds. Decrease this value for faster updating metrics. Increase this value if the metric fetcher causes too much load. Setting this value to 0 disables the metric fetching completely.
metrics.internal.query-service.port
diff --git a/flink-core/src/main/java/org/apache/flink/configuration/MetricOptions.java b/flink-core/src/main/java/org/apache/flink/configuration/MetricOptions.java index 3fc25e1ad8f45..4bec48056122d 100644 --- a/flink-core/src/main/java/org/apache/flink/configuration/MetricOptions.java +++ b/flink-core/src/main/java/org/apache/flink/configuration/MetricOptions.java @@ -182,7 +182,7 @@ public class MetricOptions { key("metrics.fetcher.update-interval") .defaultValue(10000L) .withDescription("Update interval for the metric fetcher used by the web UI in milliseconds. Decrease this value for " + - "faster updating metrics. Increase this value if the metric fetcher causes too much load. Setting this value to 0" + + "faster updating metrics. Increase this value if the metric fetcher causes too much load. Setting this value to 0 " + "disables the metric fetching completely."); private MetricOptions() {