Changeset: 5c8039344562 Author: egahlin Date: 2019-08-29 19:31 +0200 URL: https://hg.openjdk.java.net/jdk/sandbox/rev/5c8039344562 Abort directory stream after end ! src/jdk.jfr/share/classes/jdk/jfr/consumer/EventDirectoryStream.java