[bugfix] reset lastFound optimization when page data is dirtied

evolvedbinary · Dec 6, 2024 · 6a03de0 · 6a03de0
1 parent bd86e41
commit 6a03de0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/exist-core/src/main/java/org/exist/storage/dom/DOMFile.java b/exist-core/src/main/java/org/exist/storage/dom/DOMFile.java
@@ -3218,6 +3218,9 @@ public boolean isDirty() {
         void setDirty(final boolean dirty) {
             saved = !dirty;
             page.getPageHeader().setDirty(dirty);
+            if (dirty) {
+                lastFound.set(0);
+            }
         }
 
         private void load(final Page page) {