src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/EventDirectoryStream.java
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