|
セッションを消す時は、クッキーも消した方がいい。
====
session_start();
// セッション変数を全て解除する
$_SESSION = array();
// セッションを切断するにはセッションクッキーも削除する。
// Note: セッション情報だけでなくセッションを破壊する。
if(isset($_COOKIE[session_name()]))
{
setcookie(session_name(), '', time()-42000, '/');
}
// 最終的に、セッションを破壊する
session_destroy();
====
こんな感じ。
上記処理を通らなければ（セッション廃棄ページに行かない場合）当然セッションファイルが残る（本来はその為のセッションなので）のだが、定期的にセッションファイルを消したい場合は以下の設定をする。
php_value session.gc_probability 1
php_value session.gc_divisor 100
php_value session.gc_maxlifetime 86400
session_start()した時に、gc_divisor分のgc_probabilityの確率でガベージコレクションが起動して、gc_maxlifetime以上経過しているセッションファイルを消してくれます。
上記例では、1/100の確率で1日経過しているセッションファイルを消します（session_start()時）。
※ 『php』に繋がる関連物を 視覚的に探しだせるサイトを作ってみました（よろしければクリックしてみてくださいね）。
リンク元：
(2) : http://www.google.co.jp/search?client=firefox-a&rls=org.mozilla%3Aja%3Aofficial&channel=s&hl=ja&source=hp&q=PHP%E3%80%80%E3%82%BB%E3%83%83%E3%82%B7%E3%83%A7%E3%83%B3%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB%E3%80%80%E6%AE%8B%E3%82%8B&lr=&btnG=Google+%E6%A4%9C%E7%B4%A2
(1) : http://www.google.co.jp/search?hl=ja&source=hp&q=php+session.gc_maxlifetime&lr=lang_ja&aq=f&oq=
ページ閲覧者数：7人
[ php ] 一覧へ
|
RSS2.0