cerrar_sesion.php

                                                       
<?php

// PROGRAMA DE FINALIZACION DE SESION
                   
  session_start();
  unset($_SESSION["nombre_usuario"]); 
  unset($_SESSION["tipo_usuario"]);
  unset($_SESSION["autenticado"]);
  session_destroy();
  header('Location: index.php');
?>