src/jdk.jfr/share/classes/jdk/jfr/consumer/EventSet.java
branchJEP-349-branch
changeset 57376 8e8a06a3059c
parent 57372 50ca040843ea
child 57385 7d9d4f629f6e
--- 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);