RE: [PHP-GENERAL] Shell script to remove old PHP4 sessions in /tmp
| From: | Liz Kimber | Date: | Mon, 05 Jun 2000 13:36:43 +0000 |
| Subject: | RE: [PHP-GENERAL] Shell script to remove old PHP4 sessions in /tmp | ||
| References: | 1 | Groups: | php.general |
| Request: | Send a blank email to php-general+get-1038@lists.php.net to get a copy of this message | ||
> ---8<--- (php.ini) ---8<---
> session.gc_probability = 1 ; procentual probability that the
> ; 'garbage collection'
> process is started
> ; on every session initialization
> session.gc_maxlifetime = 1440 ; after this number of seconds, stored
> ; data will be seen as 'garbage' and
> ; cleaned up by the gc process
> ---8<--- ---8<---
Or if you need a usersettable control then assign a varialble with the
current time + delay and check in your scripts for the expiry and send them
to a "Your id has expired please relogin" page..
> I'd put my money on the file-based ones. You wouldn't want to load the
> database server anymore than you have to.
Me too.