RFR: 8272395: Bad HTML in JVMTI man page

Tue Dec 7 01:57:12 UTC 2021

On Tue, 7 Dec 2021 00:27:45 GMT, Serguei Spitsyn <sspitsyn at openjdk.org> wrote:

> 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.

Looks good and trivial.

I never realized the browser was presenting a user-friendly version of the URL, showing the [], but if you copy and past the URL they are converted to %5B%5D.

Thanks,
David

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

Marked as reviewed by dholmes (Reviewer).

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