infernap12/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2026-05-11 14:11:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

8227693: HTML error in jdwp-protocol.html

Browse Source 
Reviewed-by: dcubed, sspitsyn
This commit is contained in:
Alex Menkov 2019-07-22 10:26:21 -07:00
parent 678b5df6c7
commit 97af5fecb2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
make/jdk/src/classes/build/tools/jdwpgen/RootNode.java
View File

@ -53,7 +53,7 @@ class RootNode extends AbstractNamedNode {
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>");