セッション内容を破棄して終了する場合って
$_SESSION = array();
session_write_close();
session_destroy();
でいいの?
session_destroy();はいるのかね?