RFR: 8272395: Bad HTML in JVMTI man page

Serguei Spitsyn sspitsyn at openjdk.java.net
Tue Dec 7 00:35:27 UTC 2021


This fix adds escaping of invalid characters '[]' for 3 URLs defined in the jvmti.xml.
This file is a base to generate the jvmti.html.

-------------

Commit messages:
 - fix: 8272395: Bad HTML in JVMTI man page

Changes: https://git.openjdk.java.net/jdk/pull/6730/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=6730&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8272395
  Stats: 3 lines in 1 file changed: 0 ins; 0 del; 3 mod
  Patch: https://git.openjdk.java.net/jdk/pull/6730.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/6730/head:pull/6730

PR: https://git.openjdk.java.net/jdk/pull/6730


More information about the serviceability-dev mailing list