PHPでセッションを完全に破棄する方法

// セッション変数を全て解除する
$_SESSION = array();

// セッションを切断するにはセッションクッキーも削除する。
// Note: セッション情報だけでなくセッションを破壊する。
if (isset($_COOKIE[session_name()])) {
setcookie(session_name(), ”, time()-42000, ‘/’);
}

// 最終的に、セッションを破壊する
session_destroy();
?>

このせつめいは下記のURLにある。
http://d.hatena.ne.jp/Kappuccino/20080726/1217049706