mirror of
https://github.com/MariaDB/server.git
synced 2025-10-28 17:15:19 +03:00
errorneously abort reporting failure to kill child processes, where in reality the problem was merely that the child had become a zombie because of missing waitpid() call.