mirror of
https://github.com/MariaDB/server.git
synced 2025-11-27 05:41:41 +03:00
do_shutdown_server(): After sending SIGKILL, invoke wait_until_dead(). Thanks to Sergei Golubchik for pointing out that the previous fix does not actually work.
311 KiB
311 KiB