deconnexion.php

<?php

include_once INCLUDE_PATH .'session.php';

$config = new \App\Libraries\Configuration(\includes\SQL::singleton());
$how_to_connect_user = $config->getHowToConnectUser();
$URL_ACCUEIL_CONGES = $config->getUrlAccueil();

$comment_log = "Deconnexion de ".$_SESSION['userlogin'];
log_action(0, "", $_SESSION['userlogin'], $comment_log);

//Dans le cas ou le système d'authentification CAS est utilisé, lorsque l'utilisateur se deconnecte,
// on détruit le ticket qui a permis d'authentifier l'utilisateur.
if($how_to_connect_user=="cas")
{
    $logoutCas=1;
    deconnexion_CAS($URL_ACCUEIL_CONGES);
}

session_delete();

$session="";
$session_username="";
$session_password="";

redirect( $URL_ACCUEIL_CONGES . 'authentification');