src/jdk.jfr/share/classes/jdk/jfr/internal/PlatformRecorder.java
changeset 50197 f4735ff8d17d
parent 50194 2ae4cd9d809d
child 50745 a390cbb82d47
--- 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);
         }