summaryrefslogtreecommitdiffstats
path: root/admin
diff options
context:
space:
mode:
authoralonso <alonso@us.es>2009-10-31 10:34:02 +0000
committeralonso <alonso@us.es>2009-10-31 10:34:02 +0000
commitd3a15b011cf10dcc1b541551078c0b2ea5daddfd (patch)
tree6efbc90b70013493613f3a9b87117be001b33790 /admin
parent6c0b1c6345e52162ff89e46015bfeb11eca0f94d (diff)
git-svn-id: https://opengnsys.es/svn/trunk@471 a21b9725-9963-47de-94b9-378ad31fedc9
Diffstat (limited to 'admin')
-rw-r--r--admin/WebConsole/acceso.php3
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
}