mirror of
https://github.com/MariaDB/server.git
synced 2025-01-22 14:54:20 +01:00
2c3b9102f8
with page_zip_dir_insert(). Pass page_zip to rec_set_n_owned_new() and page_dir_slot_set_n_owned(). page_zip_dir_insert(): New function. Shift the dense page directory and write the inserted record there. |
||
---|---|---|
.. | ||
Makefile.am | ||
page0cur.c | ||
page0page.c | ||
page0zip.c |