public static function logoutWithRedirectService($service)
{
phpCAS::traceBegin();
phpCAS::_validateClientExists();
if (!is_string($service)) {
phpCAS::error('type mismatched for parameter $service (should be `string\')');
}
self::$_PHPCAS_CLIENT->logout(array("service" => $service));
// never reached
phpCAS::traceEnd();
}