unset($_SESSION);??

[alavaros]

Buenas, tengo un código, que no he implementado yo, y al principio de index.php, aparece lo siguiente:

Código:

<?php 
	session_start(); 
	unset($_SESSION);
	session_destroy(); 
	
	header("Cache-control: private");   
        header("Expires: Mon, 26 Jul 1997 05:00:00 GMT"); // La pagina ya expiró
	header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT"); // Fue modificada
	header("Cache-Control: no-store, no-cache, must-revalidate"); // Evitar guardado en cache del cliente HTTP/1.1
	header("Pragma: no-cache"); // Evitar guardado en cache del cliente HTTP/1.0
        header("Cache-Control: post-check=0, pre-check=0", false);

?>

Entiendo que la segunda parte del código es para que no guarde en caché y demás. Lo que me interesa es la primera parte, sobre todo "unset($_SESSION);", soy un poco novato todavía, pero leyendo por ahí creo que está mal usado, debería pasarle alguna variable. ¿Alguien me ayuda?¿Hace algo la función así escrita?

[ArkangelGammar]

Manual de php: http://php.net/manual/es/function.unset.php

unset() destruye las variables especificadas.

El comportamiento de unset() dentro de una función puede variar dependiendo de qué tipo de variable que se está tratando de destruir.

Si una variable global es unset() dentro de una función, solo la variable local es destruida. La variable en el entorno de la llamada mantendrá el mismo valor anterior a la llamada a unset().

En ese caso particual estas tratando de eliminar toda la info del array $_SESSION, lo cual es medio ineficiente ya que estas destruyendo la session y eso elimina toda la info tambien.

Espero haber sido de ayuda