child_watch_called


Description:

private void child_watch_called (Pid p, int status)