session_start(); if(!isset($SESSION)){ header("location:login.htm"); } else { session_unset(); session_destroy(); echo "Las variables de sesión han sido eliminadas, y la sesión se ha dado por finalizada correctamente ;-)"; } ?>