Added check-exhortation-server target.