--- a/src/jdk.jfr/share/classes/jdk/jfr/internal/PlatformRecorder.java Thu Sep 12 11:35:02 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/internal/PlatformRecorder.java Sat Sep 14 13:03:44 2019 +0200
@@ -334,7 +334,7 @@
private void dumpMemoryToDestination(PlatformRecording recording) {
WriteableUserPath dest = recording.getDestination();
if (dest != null) {
- MetadataRepository.getInstance().setOutput(dest.getText());
+ MetadataRepository.getInstance().setOutput(dest.getRealPathText());
recording.clearDestination();
}
}
@@ -437,7 +437,7 @@
event.id = r.getId();
event.name = r.getName();
WriteableUserPath p = r.getDestination();
- event.destination = p == null ? null : p.getText();
+ event.destination = p == null ? null : p.getRealPathText();
Duration d = r.getDuration();
event.recordingDuration = d == null ? Long.MAX_VALUE : d.toMillis();
Duration age = r.getMaxAge();