mirror of
https://github.com/MariaDB/server.git
synced 2025-11-19 19:03:26 +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