function logout() { CASUser::setup(); phpCAS::logout(); }
<?php require "General/gen_Includes.php"; CASUser::setup("/var/www/campus/dev.intranet.campusforchrist.org/callback.log"); CASUser::checkAuth();