< prev index next >

src/jdk.jfr/share/classes/jdk/jfr/internal/PlatformRecorder.java

Print this page

        

@@ -313,11 +313,11 @@
     }
 
     private void dumpMemoryToDestination(PlatformRecording recording)  {
         WriteableUserPath dest = recording.getDestination();
         if (dest != null) {
-            MetadataRepository.getInstance().setOutput(dest.getRealPathText());
+            MetadataRepository.getInstance().setOutput(dest.getText());
             recording.clearDestination();
         }
     }
     private void disableEvents() {
         MetadataRepository.getInstance().disableEvents();

@@ -404,11 +404,11 @@
                 if (r.getState() == RecordingState.RUNNING && r.shouldWriteMetadataEvent()) {
                     ActiveRecordingEvent event = new ActiveRecordingEvent();
                     event.id = r.getId();
                     event.name = r.getName();
                     WriteableUserPath p = r.getDestination();
-                    event.destination = p == null ? null : p.getRealPathText();
+                    event.destination = p == null ? null : p.getText();
                     Duration d = r.getDuration();
                     event.recordingDuration = d == null ? Long.MAX_VALUE : d.toMillis();
                     Duration age = r.getMaxAge();
                     event.maxAge = age == null ? Long.MAX_VALUE : age.toMillis();
                     Long size = r.getMaxSize();
< prev index next >