if ($gepiSettings['auth_sso'] == 'cas') { include_once('./lib/CAS.php'); if ($mode_debug) { phpCAS::setDebug($debug_log_file); } // config_cas.inc.php est le fichier d'informations de connexions au serveur cas $path = "./secure/config_cas.inc.php"; include($path); # On défini l'URL de base, pour que phpCAS ne se trompe pas dans la génération # de l'adresse de retour vers le service (attention, requiert patchage manuel # de phpCAS !!) if (isset($gepiBaseUrl)) { $url_base = $gepiBaseUrl; } else { $url_base = Session::https_request() ? 'https' : 'http'; $url_base .= '://'; $url_base .= $_SERVER['SERVER_NAME']; } // La session doit être nommée de la même manière dans Session.class.php // sinon ça ne marchera pas... session_name("GEPI"); // Le premier argument est la version du protocole CAS // Le dernier argument a été ajouté par patchage manuel de phpCAS. settype($cas_port, "integer"); phpCAS::client(CAS_VERSION_2_0, $cas_host, $cas_port, $cas_root, true, $url_base); phpCAS::setLang(PHPCAS_LANG_FRENCH); // redirige vers le serveur d'authentification si aucun utilisateur authentifié n'a