diff options
| author | Benny Baumann <BenBE@geshi.org> | 2013-06-19 22:53:39 +0200 |
|---|---|---|
| committer | Benny Baumann <BenBE@geshi.org> | 2013-06-19 22:53:39 +0200 |
| commit | 056881f58c4c8d4b05740c1aeeb308af1753a6fd (patch) | |
| tree | 6e22b1f19186a897ff347da4bc889999b9ea7772 | |
| parent | 7c6f243a456ca6638b9f5bff453ce3b8ef49802b (diff) | |
| download | cacert-devel-056881f58c4c8d4b05740c1aeeb308af1753a6fd.tar.gz cacert-devel-056881f58c4c8d4b05740c1aeeb308af1753a6fd.tar.xz cacert-devel-056881f58c4c8d4b05740c1aeeb308af1753a6fd.zip | |
bug 1176: Don't clean up the MySQL connection when doing session cleanup
| -rw-r--r-- | includes/loggedin.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/includes/loggedin.php b/includes/loggedin.php index eb09011..f4548a5 100644 --- a/includes/loggedin.php +++ b/includes/loggedin.php @@ -27,7 +27,7 @@ $_SESSION['profile'] = ""; foreach($_SESSION as $key => $value) { - if($key == '_config') + if($key == '_config' || $key == 'mconn') continue; if(is_int($key) || is_string($key)) unset($_SESSION[$key]); @@ -53,7 +53,7 @@ $_SESSION['profile'] = ""; foreach($_SESSION as $key => $value) { - if($key == '_config') + if($key == '_config' || $key == 'mconn') continue; if(is_int($key) || is_string($key)) unset($_SESSION[$key]); @@ -72,7 +72,7 @@ $_SESSION['profile'] = ""; foreach($_SESSION as $key => $value) { - if($key == '_config') + if($key == '_config' || $key == 'mconn') continue; unset($_SESSION[$key]); unset($$key); |