| @@ 89-98 (lines=10) @@ | ||
| 86 | /** |
|
| 87 | * Destroys the session and erases session storage |
|
| 88 | */ |
|
| 89 | public function destroy() { |
|
| 90 | ||
| 91 | unset($_SESSION); |
|
| 92 | ||
| 93 | if (isset($_COOKIE[session_name()])) { |
|
| 94 | setcookie(session_name(), '', time() - 42000, '/'); |
|
| 95 | } |
|
| 96 | ||
| 97 | session_destroy(); |
|
| 98 | } |
|
| 99 | ||
| 100 | /** |
|
| 101 | * Destroys the session and erases session storage |
|
| @@ 103-110 (lines=8) @@ | ||
| 100 | /** |
|
| 101 | * Destroys the session and erases session storage |
|
| 102 | */ |
|
| 103 | public function sess_destroy() { |
|
| 104 | ||
| 105 | unset($_SESSION); |
|
| 106 | if (isset($_COOKIE[session_name()])) { |
|
| 107 | setcookie(session_name(), '', time() - 42000, '/'); |
|
| 108 | } |
|
| 109 | session_destroy(); |
|
| 110 | } |
|
| 111 | ||
| 112 | /** |
|
| 113 | * Reads given session attribute value |
|