mirror of https://github.com/MariaDB/server
Browse Source
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.pull/2480/head
1 changed files with 2 additions and 1 deletions
Loading…
Reference in new issue