Improve session destroy

2014-05-28 18:39:05 -04:00 · 2014-05-28 18:39:05 -04:00 · 76bc123062
parent 3e1229a4d1
commit 76bc123062
1 changed files with 19 additions and 0 deletions
--- a/vendor/PicoFarad/Session.php
+++ b/vendor/PicoFarad/Session.php
@ -41,6 +41,25 @@ function open($base_path = '/', $save_path = '')

 function close()
 {
+    // Flush all sessions variables
+    $_SESSION = array();
+
+    // Destroy the session cookie
+    if (ini_get('session.use_cookies')) {
+        $params = session_get_cookie_params();
+
+        setcookie(
+            session_name(),
+            '',
+            time() - 42000,
+            $params['path'],
+            $params['domain'],
+            $params['secure'],
+            $params['httponly']
+        );
+    }
+
+    // Destroy session data
    session_destroy();
 }