src/jdk.jfr/share/classes/jdk/jfr/consumer/EventParser.java
branchJEP-349-branch
changeset 57385 7d9d4f629f6e
parent 57380 6a7e7743b82f
child 57452 6fabe73e5d9a
--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventParser.java	Thu May 30 23:12:44 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventParser.java	Fri May 31 20:44:28 2019 +0200
@@ -171,6 +171,10 @@
     }
 
     public void setOrdered(boolean ordered) {
+        if (this.ordered == ordered) {
+            return;
+        }
        this.ordered = ordered;
+       this.index = 0;
     }
 }