• Michael Widenius's avatar
    Aria fixes: · 26f98859
    Michael Widenius authored
    - 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.
    
    
    storage/maria/ha_maria.cc:
      Remove calls to depricated function ha_statistic_increment
    storage/maria/ma_blockrec.c:
      Don't delete pages without flushing that has had a tail or head information in pagecache_delete()
    storage/maria/ma_pagecache.c:
      Added possibility to mark pages to not be deleted by pagecache_delete() without beeing flushed.
    storage/maria/ma_pagecache.h:
      Added new prototype
    26f98859
ma_blockrec.c 243 KB