changeset 59310 | 72f3dd43dd28 |
parent 59226 | a0f39cc47387 |
child 59327 | 2c3578aa0bdf |
--- a/src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/EventDirectoryStream.java Thu Nov 28 16:28:53 2019 +0100 +++ b/src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/EventDirectoryStream.java Thu Nov 28 16:38:25 2019 +0100 @@ -69,6 +69,9 @@ setClosed(true); dispatcher().runCloseActions(); repositoryFiles.close(); + if (currentParser != null) { + currentParser.close(); + } } @Override