equal
deleted
inserted
replaced
48 |
48 |
49 private ChunkParser currentParser; |
49 private ChunkParser currentParser; |
50 private RecordedEvent[] cacheSorted; |
50 private RecordedEvent[] cacheSorted; |
51 |
51 |
52 public EventFileStream(AccessControlContext acc, Path path) throws IOException { |
52 public EventFileStream(AccessControlContext acc, Path path) throws IOException { |
53 super(acc, false); |
53 super(acc, null); |
54 Objects.requireNonNull(path); |
54 Objects.requireNonNull(path); |
55 this.input = new RecordingInput(path.toFile(), FileAccess.UNPRIVILIGED); |
55 this.input = new RecordingInput(path.toFile(), FileAccess.UNPRIVILIGED); |
56 } |
56 } |
57 |
57 |
58 @Override |
58 @Override |