--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventSet.java Fri May 24 20:51:28 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventSet.java Mon May 27 18:33:13 2019 +0200
@@ -159,7 +159,7 @@
// held with lock
private void addSegment(int index) throws IOException {
if (chunkParser == null) {
- chunkParser = new ChunkParser(new RecordingInput(path.toFile()));
+ chunkParser = new ChunkParser(new RecordingInput(path.toFile()), false);
}
if (dirtyFilter) {
chunkParser.setParserFilter(globalFilter);