8227693: HTML error in jdwp-protocol.html
authoramenkov
Mon, 22 Jul 2019 10:26:21 -0700
changeset 55759 bf9fa29bb3dc
parent 55758 bbe9c361a477
child 55760 bf8128faace1
8227693: HTML error in jdwp-protocol.html Reviewed-by: dcubed, sspitsyn
make/jdk/src/classes/build/tools/jdwpgen/RootNode.java
--- a/make/jdk/src/classes/build/tools/jdwpgen/RootNode.java	Mon Jul 22 14:40:00 2019 +0200
+++ b/make/jdk/src/classes/build/tools/jdwpgen/RootNode.java	Mon Jul 22 10:26:21 2019 -0700
@@ -53,7 +53,7 @@
         writer.println("</head>");
         writer.println("<body>");
         writer.println("<div class=\"centered\" role=\"banner\">");
-        writer.println("<h1 id=\"Protocol Details\">Java Debug Wire Protocol Details</h1>");
+        writer.println("<h1 id=\"Protocol_Details\">Java Debug Wire Protocol Details</h1>");
         writer.println("</div>");
         writer.println("<nav>");
         writer.println("<ul>");