RFR: 8127: Use ProcessHandle API to get PIDs

[Christoph Langer]

On Sun, 15 Oct 2023 11:19:01 GMT, Christoph Dreis <duke at openjdk.org> wrote:

>>> @RealCLanger thanks for the review. Is there a problem with this PR? What do you mean by enabling GHA testing? Aren't the Github Actions executed here?
>> 
>> You have to enable actions here: https://github.com/dreis2211/jmc/actions. They are run in your GitHub repository and the OpenJDK Skara bots will pick up the results.
>> 
>> I don't think anything is wrong with this PR, though. But we'll see whether GHA jobs report green result then.
>
> @RealCLanger Ah I didn't know Skara picks things from forks. I'll see that I enable it for the next time

@dreis2211, can you merge master into your branch now, after #525 has been integrated? Let's check if everything is green then. If it is, I can sponsor.

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

PR Comment: https://git.openjdk.org/jmc/pull/522#issuecomment-1764435821