$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(); } } ?>