--- a/src/jdk.jfr/share/classes/jdk/jfr/internal/PlatformRecorder.java Mon May 21 11:09:58 2018 -0500
+++ b/src/jdk.jfr/share/classes/jdk/jfr/internal/PlatformRecorder.java Mon May 21 18:19:11 2018 +0200
@@ -108,7 +108,11 @@
}
public synchronized PlatformRecording newRecording(Map<String, String> settings) {
- PlatformRecording recording = new PlatformRecording(this, ++recordingCounter);
+ return newRecording(settings, ++recordingCounter);
+ }
+
+ public synchronized PlatformRecording newRecording(Map<String, String> settings, long id) {
+ PlatformRecording recording = new PlatformRecording(this, id);
if (!settings.isEmpty()) {
recording.setSettings(settings);
}