ProcManager: wait_for_extra_children now also does a non-blocking wait