From 6fd71945447468c46cc5837f184f07ec0fd4178c Mon Sep 17 00:00:00 2001
From: Bharat Mediratta <bharat@menalto.com>
Date: Sat, 15 Nov 2008 21:47:21 +0000
Subject: Destroy the session on logout, don't just delete the user.

---
 modules/user/helpers/user_installer.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'modules/user/helpers')

diff --git a/modules/user/helpers/user_installer.php b/modules/user/helpers/user_installer.php
index 648a6c51..82f6d675 100644
--- a/modules/user/helpers/user_installer.php
+++ b/modules/user/helpers/user_installer.php
@@ -77,7 +77,7 @@ class user_installer {
 
   public static function uninstall() {
     try {
-      Session::instance()->delete("user");
+      Session::instance()->destroy();
     } catch (Exception $e) {
     }
     $db = Database::instance();
-- 
cgit v1.2.3