mirror of
https://github.com/MariaDB/server.git
synced 2025-11-30 05:23:50 +03:00
Wait until rotation has ended and shutdown before grep to make sure that dirty pages are on datafiles.
Wait until rotation has ended and shutdown before grep to make sure that dirty pages are on datafiles.