8182413: jdwp-protocol is generated without a DOCTYPE directive
authorsspitsyn
Wed, 06 Dec 2017 02:09:08 -0800
changeset 48077 2a749b997a0d
parent 48076 794cbfa7a309
child 48078 94a38ebbc9bb
8182413: jdwp-protocol is generated without a DOCTYPE directive Summary: add a DOCTYPE directive Reviewed-by: alanb
make/jdk/src/classes/build/tools/jdwpgen/RootNode.java
--- a/make/jdk/src/classes/build/tools/jdwpgen/RootNode.java	Wed Dec 06 08:36:09 2017 +0000
+++ b/make/jdk/src/classes/build/tools/jdwpgen/RootNode.java	Wed Dec 06 02:09:08 2017 -0800
@@ -40,6 +40,7 @@
     }
 
     void document(PrintWriter writer) {
+        writer.println("<!DOCTYPE html>");
         writer.println("<html><head><title>" + comment() + "</title></head>");
         writer.println("<body bgcolor=\"white\">");
         for (Node node : components) {