✏️ Editing: mysql_waitpid