[flink] 08/09: [hotfix][docs] correctly escape ampersands

[nkruber]

This is an automated email from the ASF dual-hosted git repository.

nkruber pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/flink.git

commit 9a376ffb5ba1b05cd173e6683c81713ec8d1aba7
Author: Nico Kruber <n...@ververica.com>
AuthorDate: Thu Jun 13 09:58:11 2019 +0200

    [hotfix][docs] correctly escape ampersands
---
 .../java/org/apache/flink/configuration/description/HtmlFormatter.java   | 1 +
 1 file changed, 1 insertion(+)

diff --git 
a/flink-core/src/main/java/org/apache/flink/configuration/description/HtmlFormatter.java
 
b/flink-core/src/main/java/org/apache/flink/configuration/description/HtmlFormatter.java
index 53f540e..710d832 100644
--- 
a/flink-core/src/main/java/org/apache/flink/configuration/description/HtmlFormatter.java
+++ 
b/flink-core/src/main/java/org/apache/flink/configuration/description/HtmlFormatter.java
@@ -70,6 +70,7 @@ public class HtmlFormatter extends Formatter {
 
        private static String escapeCharacters(String value) {
                return value
+                       .replaceAll("&", "&amp;")
                        .replaceAll("<", "&lt;")
                        .replaceAll(">", "&gt;");
        }