On Tue, 7 Dec 2021 00:27:45 GMT, Serguei Spitsyn <sspit...@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