mirror of
https://github.com/MariaDB/server.git
synced 2025-12-04 17:23:46 +03:00
several times, it was causing corruption of charset data stored in once_mem_pool. my_end() deallocated once_mem pool, but did not put a flag that charsets have to be reloaded. The fix addresses this problem.
12 KiB
12 KiB