mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 05:22:25 +01:00
3498a656c9
buf_flush_remove(): Disable the output for now, because we certainly do not want this after every page flush on shutdown. It must be rate-limited somehow. There already is a timeout extension for waiting the page cleaner to exit in logs_empty_and_mark_files_at_shutdown(). log_write_up_to(): Use correct format. srv_purge_should_exit(): Move the timeout extension to the appropriate place, from one of the callers. |
||
|---|---|---|
| .. | ||
| buf0buddy.cc | ||
| buf0buf.cc | ||
| buf0checksum.cc | ||
| buf0dblwr.cc | ||
| buf0dump.cc | ||
| buf0flu.cc | ||
| buf0lru.cc | ||
| buf0mtflu.cc | ||
| buf0rea.cc | ||