diff options
Diffstat (limited to 'admin/WebConsole/acceso.php')
| -rw-r--r-- | admin/WebConsole/acceso.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/admin/WebConsole/acceso.php b/admin/WebConsole/acceso.php index 4b5b23cd..20c6dc82 100644 --- a/admin/WebConsole/acceso.php +++ b/admin/WebConsole/acceso.php @@ -6,7 +6,8 @@ // Fecha Última modificación: Marzo-2005 // Nombre del fichero: barramenu.php // Descripción :Este fichero implementa el menu general de la Aplicación -// ********************************************************************************************************if(isset($_SESSION)){ // Si existe algua sesión ... +// ******************************************************************************************************** +if(isset($_SESSION)){ // Si existe algua sesión ... session_unset(); // Elimina variables session_destroy(); // Destruye sesión } |