fixup! Fix check for a crashed process in executorservo.