[crac] Integrated: 8373687: [CRaC] Add metrics through jcmd

[Radim Vansa]

On Mon, 15 Dec 2025 15:29:20 GMT, Radim Vansa <rvansa at openjdk.org> wrote:

> Enable user adding custom metrics (and labels) through jcmd JDK.checkpoint command, e.g. using
> 
> jcmd <pid> JDK.checkpoint metrics=foo=123,bar=0.456

This pull request has now been integrated.

Changeset: 15dcf3b6
Author:    Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/15dcf3b64e9ee3cb4ce0435c9850126e142fedf6
Stats:     386 lines in 12 files changed: 352 ins; 18 del; 16 mod

8373687: [CRaC] Add metrics through jcmd

Reviewed-by: tpushkin

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

PR: https://git.openjdk.org/crac/pull/281