+ function check_logout(&$env){
+ if($env->user()){
+ $env->erreur("deconnexion impossible. vous êtes toujours identifié sur le site.");
+ }
+ else{
+ $redirect_action = "index";
+ $redirect_params = array();
+ if(isset($_SESSION["action_after_logout"])){
+ $redirect_action = $_SESSION["action_after_logout"];
+ unset($_SESSION["action_after_logout"]);
+ }
+ if(isset($_SESSION["params_after_logout"])){
+ if(!($redirect_params = @unserialize($_SESSION["params_after_logout"]))) $redirect_params = array();
+ unset($_SESSION["params_after_logout"]);
+ }
+ $env->redirect(
+ $env->url($redirect_action, $redirect_params),
+ "Vous n'êtes plus identifié sur le site"
+ );
+ }
+ }
+