[hotfix][metrics][docs] Add missing space

tongcheng-elong · Feb 13, 2019 · 3e7dfb9 · 3e7dfb9
1 parent 0719db8
commit 3e7dfb9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/_includes/generated/metric_configuration.html b/docs/_includes/generated/metric_configuration.html
@@ -10,7 +10,7 @@
  <tr>
  <td><h5>metrics.fetcher.update-interval</h5></td>
  <td style="word-wrap: break-word;">10000</td>
- <td>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.</td>
+ <td>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.</td>
  </tr>
  <tr>
  <td><h5>metrics.internal.query-service.port</h5></td>

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
@@ -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() {