function casSetup()
{
global $CASAuth;
global $casIsSetUp;
require_once $CASAuth["phpCAS"] . "/CAS.php";
phpCAS::client($CASAuth["Version"], $CASAuth["Server"], $CASAuth["Port"], $CASAuth["Url"], false);
phpCAS::setSingleSignoutCallback('casSingleSignOut');
phpCAS::setPostAuthenticateCallback('casPostAuth');
phpCAS::handleLogoutRequests(true, isset($CASAuth["LogoutServers"]) ? $CASAuth["LogoutServers"] : false);
phpCAS::setNoCasServerValidation();
$casIsSetUp = true;
}