Что-то я туплю... Не могу найти в php штатных средств для захлопывания сессии по таймауту. Кто-нибудь, ткните меня, плз!
Или это нужно обрабатывать ручками как-то так:
if ((time()-$_SESSION['timestamp'])>10) {
session_unset();
session_destroy();
} ?
Ну и еще один вопрос вдогонку: а как прибвать во временной папке сейвы сессий? Или можно положиться на session.gc_maxlifetime и ничего самому не делать?
И этот самый "garbage collection process" вообще работает когда скрипты, к примеру, запускаются только как cgi?