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

[Erik Gahlin]

> Hi,
> 
> Could I have a review of an enhancement that adds the option preserve-repository=true/false to -XX:FlightRecorderOptions and jcmd JFR.configure. When set to true, chunk files in the repository will not be removed by the JVM at exit.
> 
> Testing: jdk/jdk/jfr
> 
> Thanks
> Erik

Erik Gahlin has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains five additional commits since the last revision:

 - Increase parameter count
 - Merge branch 'master' of https://github.com/openjdk/jdk into keeponexit
 - Fix whitespace
 - Initial
 - Initial

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/13111/files
  - new: https://git.openjdk.org/jdk/pull/13111/files/47d9b4d2..9e8094d2

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=13111&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=13111&range=00-01

  Stats: 171208 lines in 2375 files changed: 121845 ins; 28700 del; 20663 mod
  Patch: https://git.openjdk.org/jdk/pull/13111.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/13111/head:pull/13111

PR: https://git.openjdk.org/jdk/pull/13111