< prev index next >

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

Print this page

        

*** 313,323 **** } private void dumpMemoryToDestination(PlatformRecording recording) { WriteableUserPath dest = recording.getDestination(); if (dest != null) { ! MetadataRepository.getInstance().setOutput(dest.getRealPathText()); recording.clearDestination(); } } private void disableEvents() { MetadataRepository.getInstance().disableEvents(); --- 313,323 ---- } private void dumpMemoryToDestination(PlatformRecording recording) { WriteableUserPath dest = recording.getDestination(); if (dest != null) { ! MetadataRepository.getInstance().setOutput(dest.getText()); recording.clearDestination(); } } private void disableEvents() { MetadataRepository.getInstance().disableEvents();
*** 404,414 **** 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(); 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(); --- 404,414 ---- 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.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 >