tree 21a07682db7cf8ab993c0f5f54f2722f520caf2d
parent 10a18340e21b646d16080efcedbf98853eaf43eb
author Erik Gahlin <egahlin@openjdk.org> 1544287277 +0100
committer Erik Gahlin <egahlin@openjdk.org> 1544287277 +0100

8213617: JFR should record the PID of the recorded process

Reviewed-by: mgronlun