00001 <?php 00002 00015 define("CAS_STR_USING_SERVER", 1); 00016 define("CAS_STR_AUTHENTICATION_WANTED", 2); 00017 define("CAS_STR_LOGOUT", 3); 00018 define("CAS_STR_SHOULD_HAVE_BEEN_REDIRECTED", 4); 00019 define("CAS_STR_AUTHENTICATION_FAILED", 5); 00020 define("CAS_STR_YOU_WERE_NOT_AUTHENTICATED", 6); 00021 define("CAS_STR_SERVICE_UNAVAILABLE", 7); 00023 00024 ?>