Bugfix.

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

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