[PHP-users 1207] セッションの保存期間

[Masayuki Tadano]

但野と言います。

セッションの保存期間についてご存知の方がいたら教えていただきたい
のですが。

使用している PHP のバージョンは 4.0.3pl1 で、php.ini の設定は
デフォルトのままで、
session.auto_start            Off
session.cache_expire          180
session.cache_limiter         nocache
session.cookie_domain         no value
session.cookie_lifetime       0
session.cookie_path           /
session.entropy_file          no value
session.entropy_length        0
session.gc_maxlifetime        1440
session.gc_probability        1
session.name                  PHPSESSID
session.referer_check         no value
session.save_handler          files
session.save_path             /tmp
session.serialize_handler     php
session.use_cookies           On
です。

この状態でセッションを開始すると、設定どおり、/tmp 以下に、
sess_セッションID と言うファイルが出来ます。

ここからが疑問なのですが、session_destroy() を呼ばずに終了し
てしまった場合、これらのファイルが残ってしまって、削除されず
に残ってしまうことです。

マニュアルには、
「session.gc_maxlifetime は、データが'ごみ'と みなされてから
消去されるまでの秒数を指定します」
とあるのですが、このような場合は、'ごみ'とみなされないのでし
ょうか。
実際URLにファイル名のセッションIDをつけてアクセスすると、以前
のセッション情報が出ます(当たり前ですが)。

これらのファイルを一定時間過ぎたときには削除してくれるための
設定はないのでしょうか。

宜しくお願いいたします。