summaryrefslogtreecommitdiff
path: root/includes
diff options
context:
space:
mode:
authorBenny Baumann <BenBE@geshi.org>2013-05-13 22:50:06 +0200
committerBenny Baumann <BenBE@geshi.org>2013-05-13 22:50:06 +0200
commitd3a8052057648d67b07350e9e6bb6b39276f75dc (patch)
tree271110d3fd6317a651d503fae27cec4269d091df /includes
parent39e99197b2e6423339570154c218abd45de31997 (diff)
downloadcacert-devel-d3a8052057648d67b07350e9e6bb6b39276f75dc.tar.gz
cacert-devel-d3a8052057648d67b07350e9e6bb6b39276f75dc.tar.xz
cacert-devel-d3a8052057648d67b07350e9e6bb6b39276f75dc.zip
bug 1176: Fix Session cleanup
Diffstat (limited to 'includes')
-rw-r--r--includes/loggedin.php26
1 files changed, 13 insertions, 13 deletions
diff --git a/includes/loggedin.php b/includes/loggedin.php
index 5734fad..b17f079 100644
--- a/includes/loggedin.php
+++ b/includes/loggedin.php
@@ -24,14 +24,14 @@
$uid = $_SESSION['profile']['id'];
$_SESSION['profile']['loggedin'] = 0;
$_SESSION['profile'] = "";
- foreach($_SESSION as $key)
+ foreach($_SESSION as $key => $value)
{
if($key == '_config')
continue;
if(is_int($key) || is_string($key))
unset($_SESSION[$key]);
- unset($$key);
- session_unregister($key);
+ unset($$key);
+ //session_unregister($key);
}
$_SESSION['profile'] = mysql_fetch_assoc(mysql_query("select * from `users` where `id`='$uid'"));
@@ -50,14 +50,14 @@
{
$_SESSION['profile']['loggedin'] = 0;
$_SESSION['profile'] = "";
- foreach($_SESSION as $key)
+ foreach($_SESSION as $key => $value)
{
if($key == '_config')
continue;
if(is_int($key) || is_string($key))
unset($_SESSION[$key]);
- unset($$key);
- session_unregister($key);
+ unset($$key);
+ //session_unregister($key);
}
$_SESSION['profile'] = mysql_fetch_assoc(mysql_query(
@@ -69,13 +69,13 @@
} else {
$_SESSION['profile']['loggedin'] = 0;
$_SESSION['profile'] = "";
- foreach($_SESSION as $key)
+ foreach($_SESSION as $key => $value)
{
if($key == '_config')
continue;
- unset($_SESSION[$key]);
- unset($$key);
- session_unregister($key);
+ unset($_SESSION[$key]);
+ unset($$key);
+ //session_unregister($key);
}
unset($_SESSION['_config']['oldlocation']);
@@ -127,9 +127,9 @@
$_SESSION['profile'] = "";
foreach($_SESSION as $key => $value)
{
- unset($_SESSION[$key]);
- unset($$key);
- session_unregister($key);
+ unset($_SESSION[$key]);
+ unset($$key);
+ //session_unregister($key);
}
header("location: https://".$normalhost."/index.php");