Bugfix del bug reportado por jonas.

[z.facultad/75.43/tp1.git] / src / admin.logout.php

diff --git a/src/admin.logout.php b/src/admin.logout.php
index dc7caf8b1a15c387646d8e8c62f2647b4b1bb749..c16e6f68e375c957745ecc181ef985f85bf044f2 100644 (file)
--- 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