-
Committer:
Michael Widenius
-
Date:
2011-01-07 10:17:34 UTC
-
mto:
This revision was merged to the branch mainline in
revision
2905.
-
Revision ID:
monty@askmonty.org-20110107101734-kd11jvhitvrlijig
Aria fixes:
- Don't delete pages without flushing that has had a tail or head information in pagecache_delete()
This fixes a case where REPAIR could find old deleted rows.