Integrated: 8127: Use ProcessHandle API to get PIDs

[Christoph Dreis]

On Sun, 8 Oct 2023 10:24:53 GMT, Christoph Dreis <duke at openjdk.org> wrote:

> Hi,
> 
> this PR uses `ProcessHandle.current().pid()` that was introduced in Java 9 rather than parsing the output of `ManagementFactory.getRuntimeMXBean().getName()`.
> 
> If you think this is worthwhile, I'd appreciate a ticket and sponsoring.
> 
> Cheers,
> Christoph

This pull request has now been integrated.

Changeset: c2c8375b
Author:    Christoph Dreis <christoph.dreis at freenet.de>
Committer: Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/c2c8375b2917b5bae289b7bdcb9b613f5cbd98a9
Stats:     75 lines in 4 files changed: 0 ins; 70 del; 5 mod

8127: Use ProcessHandle API to get PIDs

Reviewed-by: clanger

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

PR: https://git.openjdk.org/jmc/pull/522