PHPのセッション管理に関して

PHPで＄_SESSIONを使用した場合、セッションが不要になった際には必ずセッションを破棄する処理が必要になる。
session_destroyだけでは＄_SESSIONに保存されている内容は破棄されないので、
必ず空の配列を代入し、$_SESSIONの内容をクリアする必要がある。

<?php
$_SESSION = array();
session_destroy();