summaryrefslogtreecommitdiff
path: root/modules/user/helpers
diff options
context:
space:
mode:
authorBharat Mediratta <bharat@menalto.com>2008-11-15 21:47:21 +0000
committerBharat Mediratta <bharat@menalto.com>2008-11-15 21:47:21 +0000
commit6fd71945447468c46cc5837f184f07ec0fd4178c (patch)
treea7bb9276d3c0df47aed2f7164dbb1db3e935f995 /modules/user/helpers
parentfbc810098f797d6cacecadb39fab2016ab9a8429 (diff)
Destroy the session on logout, don't just delete the user.
Diffstat (limited to 'modules/user/helpers')
-rw-r--r--modules/user/helpers/user_installer.php2
1 files changed, 1 insertions, 1 deletions
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();