mirror of
https://github.com/MariaDB/server.git
synced 2025-08-31 22:22:30 +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.