X-Git-Url: https://git.llucax.com/z.facultad/75.43/tp1.git/blobdiff_plain/ed25274ff1ce0be12317d56288d1e8c280a223cb..9db4c11e955d35f8a727c00ffe68da450c2ffa2e:/src/admin.logout.php

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