public function renewAuthentication()
{
phpCAS::traceBegin();
// Either way, the user is authenticated by CAS
if (isset($_SESSION['phpCAS']['auth_checked'])) {
unset($_SESSION['phpCAS']['auth_checked']);
}
if ($this->isAuthenticated(true)) {
phpCAS::trace('user already authenticated');
$res = true;
} else {
$this->redirectToCas(false, true);
// never reached
$res = false;
}
phpCAS::traceEnd();
return $res;
}