From 0b175e73fad394df44032b53afbd19afb598a6b7 Mon Sep 17 00:00:00 2001
From: Leandro Lucarella <llucax@gmail.com>
Date: Wed, 4 May 2005 21:01:00 +0000
Subject: [PATCH] Se llama a logout() para que logguee.

---
 src/admin.logout.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/admin.logout.php b/src/admin.logout.php
index 9376e2a..c16e6f6 100644
--- a/src/admin.logout.php
+++ b/src/admin.logout.php
@@ -10,7 +10,11 @@
 
 require_once 'lib/pagina.php';
 
-unset($_SESSION['user']);
+if (isset($_SESSION['user']))
+{
+    $_SESSION['user']->logout();
+    unset($_SESSION['user']);
+}
 include 'admin.login.php';
 
 ?>
\ No newline at end of file
-- 
2.43.0