diff options
| author | alonso <alonso@us.es> | 2009-10-31 10:34:02 +0000 |
|---|---|---|
| committer | alonso <alonso@us.es> | 2009-10-31 10:34:02 +0000 |
| commit | d3a15b011cf10dcc1b541551078c0b2ea5daddfd (patch) | |
| tree | 6efbc90b70013493613f3a9b87117be001b33790 /admin/WebConsole/acceso.php | |
| parent | 6c0b1c6345e52162ff89e46015bfeb11eca0f94d (diff) | |
git-svn-id: https://opengnsys.es/svn/trunk@471 a21b9725-9963-47de-94b9-378ad31fedc9
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 } |