<?php if(!isset($_SESSION)) { if(!isset($_SESSION)) { session_start(); } } session_destroy(); $pagina=$_SERVER['HTTP_REFERER']; header("Location:./index.php"); ?>