mirror of
https://github.com/MariaDB/server.git
synced 2025-12-10 19:44:09 +03:00
(because it's conceptually wrong. only the user can decide whether the kill is allowed to leave tables in the inconsistent state, storage engine has no say in that)
160 KiB
160 KiB