$val) { $_SESSION[$var] = null; } session_destroy(); } public function __clone() { } public function __get($var) { return (!empty($_SESSION[$var]) ? $_SESSION[$var] : ''); } public function __set($var, $val) { return ($_SESSION[$var] = $val); } public function __destruct() { session_write_close(); } }