@@ 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 |