[bugfix] reset lastFound optimization when page data is dirtied

evolvedbinary · Dec 13, 2024 · d004f64 · d004f64
1 parent 9b8c98f
commit d004f64
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) {