diff options
-rw-r--r-- | admin/WebConsole/index.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/WebConsole/index.php b/admin/WebConsole/index.php index 61ea54b9..96f3abbb 100644 --- a/admin/WebConsole/index.php +++ b/admin/WebConsole/index.php @@ -9,6 +9,7 @@ // Autor: Ramón Gómez - ETSII, Universidad de Sevilla // Fecha: 2012-02-07 // ***************************************************************************** +session_start(); if(isset($_SESSION)){ // Si existe algua sesión ... session_unset(); // Elimina variables session_destroy(); // Destruye sesión |