mirror of
https://github.com/MariaDB/server.git
synced 2025-12-01 17:39:21 +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)
9.0 KiB
9.0 KiB