cerrar session con PHP

cerrar session con PHP


unset($_SESSION['codusuario']);

unset($_SESSION['codtipousuario']);
<!--more-->
unset($_SESSION['nombres']);

session_destroy();

?>

<script> alert ("session finalizada"); window.location="index.php"; </script>