セッションを破棄する

<?php
# セッションを開始します。
session_start();

# セッション変数を登録します。
$_SESSION['sample'] = 'PHP逆引きレシピ';
# セッション変数を別の変数に保存しておきます。
$oldSession = $_SESSION;

# セッション変数をすべて解除します。
$_SESSION = array();

# セッションCookieも削除します。
if (isset($_COOKIE[session_name()])) {
  setcookie(session_name(), '', time()-42000, '/');
}

function h($var) { // HTMLでのエスケープ処理をする関数
  if (is_array($var)) {
    return array_map('h', $var);
  } else {
    return htmlspecialchars($var, ENT_QUOTES);
  }
}
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>セッションを破棄したい</title>
</head>
<body>
<?php
echo '<p>破棄前のセッション情報:</p>';
echo '<pre>';
print_r(h($oldSession));
echo '</pre>';

# セッションを破棄します。
session_destroy();

echo '<p>破棄後のセッション情報:</p>';
echo '<pre>';
print_r(h($_SESSION));
echo '</pre>';
?>
</body>
</html>