Re: RFR: JDK-8227693: HTML error in jdwp-protocol.html

2019-07-21 Thread [email protected]
+1 Thanks, Serguei On 7/20/19 05:44, Daniel D. Daugherty wrote: On 7/19/19 6:56 PM, Alex Menkov wrote: Hi all, please review tiny fix for generated jdwp-protocol.html One of the recent fixes added H1 element with incorrect id attribute value. jira: https://bugs.openjdk.java.net/browse/JDK

Re: RFR: JDK-8227693: HTML error in jdwp-protocol.html

2019-07-20 Thread Daniel D. Daugherty
On 7/19/19 6:56 PM, Alex Menkov wrote: Hi all, please review tiny fix for generated jdwp-protocol.html One of the recent fixes added H1 element with incorrect id attribute value. jira: https://bugs.openjdk.java.net/browse/JDK-8227693 webrev: http://cr.openjdk.java.net/~amenkov/jdk14/jdwp-pro

RFR: JDK-8227693: HTML error in jdwp-protocol.html

2019-07-19 Thread Alex Menkov
Hi all, please review tiny fix for generated jdwp-protocol.html One of the recent fixes added H1 element with incorrect id attribute value. jira: https://bugs.openjdk.java.net/browse/JDK-8227693 webrev: http://cr.openjdk.java.net/~amenkov/jdk14/jdwp-protocol_space_id/webrev/ generated docs: o