RFR: 8303229: JFR: Preserve disk repository after exit [v3]

[Erik Gahlin]

On Thu, 23 Mar 2023 12:45:42 GMT, David Holmes <dholmes at openjdk.org> wrote:

>> Erik Gahlin has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Docs update
>
> src/java.base/share/man/java.1 line 1344:
> 
>> 1342: after the JVM has exited.
>> 1343: If false, files are deleted.
>> 1344: By default, this parameters is disabled.
> 
> Do you mean by default it is false?
> 
> Typo: parameters -> parameter

It is false by default.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/13111#discussion_r1146217088