phpCAS::setFixedServiceURL PHP Method

    public static function setFixedServiceURL($url)
    {
        phpCAS::traceBegin();
        phpCAS::_validateProxyExists();
        try {
            self::$_PHPCAS_CLIENT->setURL($url);
        } catch (Exception $e) {
            phpCAS::error(get_class($e) . ': ' . $e->getMessage());
        }
        phpCAS::traceEnd();
    }

function toggle_auth_checked_in_redirect()
{
    $url = phpCAS::getServiceURL();
    $without_auth_checked = removeParameterFromUrl('auth_checked', $url);
    if ($url == $without_auth_checked) {
        $url .= (strpos($url, '?') === false ? '?' : '&') . 'auth_checked=true';
    } else {
        $url = $without_auth_checked;
        debug_msg("removing auth_checked from url to have a clean final url: {$url}");
    }
    phpCAS::setFixedServiceURL($url);
}