mirror of
https://github.com/MariaDB/server.git
synced 2025-01-30 18:41:56 +01:00
6cb77c6b3e
Don't free memory from InnoDB at exit (as this may be done before other threads are finnished) |
||
---|---|---|
.. | ||
ts | ||
Makefile.am | ||
makefilewin | ||
srv0que.c | ||
srv0srv.c | ||
srv0start.c |