mirror of
https://github.com/MariaDB/server.git
synced 2025-12-01 17:39:21 +03:00
cherry-pick commit: 1fff2398ef
MDEV-22530 post push fixes from 10.6.
Followup. If the KILL happens - report it as a failure,
don't eat it up silently. Note that this has to be done after `table_name`
is populated, so that the error message could show it.
49 KiB
49 KiB