About bug #4280: try to workaround PHP 5 session garbage collection

Signed-off-by: Marc Delisle <marc@infomarc.info>