1
0
Fork 0
mirror of https://github.com/YunoHost-Apps/spip_ynh.git synced 2024-09-03 20:25:59 +02:00
spip_ynh/sources/ecrire/action/logout.php
2015-04-28 17:10:23 +02:00

130 lines
No EOL
4.7 KiB
PHP

<?php
/***************************************************************************\
* SPIP, Systeme de publication pour l'internet *
* *
* Copyright (c) 2001-2014 *
* Arnaud Martin, Antoine Pitrou, Philippe Riviere, Emmanuel Saint-James *
* *
* Ce programme est un logiciel libre distribue sous licence GNU/GPL. *
* Pour plus de details voir le fichier COPYING.txt ou l'aide en ligne. *
\***************************************************************************/
if (!defined('_ECRIRE_INC_VERSION')) return;
include_spip('inc/cookie');
/**
* Se deloger
* Pour eviter les CSRF on passe par une etape de confirmation si pas de jeton fourni
* avec un autosubmit js pour ne pas compliquer l'experience utilisateur
*
* http://doc.spip.org/@action_logout_dist
*
*/
function action_logout_dist()
{
$logout =_request('logout');
$url = securiser_redirect_action(_request('url'));
// cas particulier, logout dans l'espace public
if ($logout == 'public' AND !$url)
$url = url_de_base();
// seul le loge peut se deloger (mais id_auteur peut valoir 0 apres une restauration avortee)
if (isset($GLOBALS['visiteur_session']['id_auteur'])
AND is_numeric($GLOBALS['visiteur_session']['id_auteur'])
// des sessions anonymes avec id_auteur=0 existent, mais elle n'ont pas de statut : double check
AND isset($GLOBALS['visiteur_session']['statut'])) {
// il faut un jeton pour fermer la session (eviter les CSRF)
if (!$jeton = _request('jeton')
OR !verifier_jeton_logout($jeton,$GLOBALS['visiteur_session'])){
$jeton = generer_jeton_logout($GLOBALS['visiteur_session']);
$action = generer_url_action("logout","jeton=$jeton");
$action = parametre_url($action,'logout',_request('logout'));
$action = parametre_url($action,'url',_request('url'));
include_spip("inc/minipres");
include_spip("inc/filtres");
$texte = bouton_action(_T('spip:icone_deconnecter'),$action);
$texte = "<div class='boutons'>$texte</div>";
$texte .= '<script type="text/javascript">document.write("<style>body{visibility:hidden;}</style>");window.document.forms[0].submit();</script>';
$res = minipres(_T('spip:icone_deconnecter'),$texte,'',true);
echo $res;
return;
}
include_spip('inc/auth');
auth_trace($GLOBALS['visiteur_session'], '0000-00-00 00:00:00');
// le logout explicite vaut destruction de toutes les sessions
if (isset($_COOKIE['spip_session'])) {
$session = charger_fonction('session', 'inc');
$session($GLOBALS['visiteur_session']['id_auteur']);
spip_setcookie('spip_session', $_COOKIE['spip_session'], time()-3600);
}
// si authentification http, et que la personne est loge,
// pour se deconnecter, il faut proposer un nouveau formulaire de connexion http
if (isset($_SERVER['PHP_AUTH_USER'])
AND !$GLOBALS['ignore_auth_http']
AND $GLOBALS['auth_can_disconnect']) {
ask_php_auth(_T('login_deconnexion_ok'),
_T('login_verifiez_navigateur'),
_T('login_retour_public'),
"redirect=". _DIR_RESTREINT_ABS,
_T('login_test_navigateur'),
true);
}
}
// Rediriger en contrant le cache navigateur (Safari3)
include_spip('inc/headers');
redirige_par_entete($url
? parametre_url($url, 'var_hasard', uniqid(rand()), '&')
: generer_url_public('login'));
}
/**
* Generer un jeton de logout personnel et ephemere
* @param array $session
* @param null|string $alea
* @return string
*/
function generer_jeton_logout($session,$alea=null){
if (is_null($alea)){
if (!isset($GLOBALS['meta']['alea_ephemere'])){
include_spip('base/abstract_sql');
$GLOBALS['meta']['alea_ephemere'] = sql_getfetsel('valeur', 'spip_meta', "nom='alea_ephemere'");
}
$alea = $GLOBALS['meta']['alea_ephemere'];
}
$jeton = md5($session['date_session']
.$session['id_auteur']
.$session['statut']
.$alea
);
return $jeton;
}
/**
* Verifier que le jeton de logout est bon
* il faut verifier avec alea_ephemere_ancien si pas bon avec alea_ephemere
* pour gerer le cas de la rotation d'alea
* @param string $jeton
* @param array $session
* @return bool
*/
function verifier_jeton_logout($jeton,$session){
if (generer_jeton_logout($session)===$jeton)
return true;
if (!isset($GLOBALS['meta']['alea_ephemere_ancien'])){
include_spip('base/abstract_sql');
$GLOBALS['meta']['alea_ephemere_ancien'] = sql_getfetsel('valeur', 'spip_meta', "nom='alea_ephemere_ancien'");
}
if (generer_jeton_logout($session,$GLOBALS['meta']['alea_ephemere_ancien'])===$jeton)
return true;
return false;
}
?>