PHP 4.0 Bug #2216: Session garbage collector doesn't work

From: marco@csita.unige.it Operating system: linux/Debian 2.1 PHP version: 4.0 Beta 2 PHP Bug Type: Misbehaving function Bug description: Session garbage collector doesn't work 1) With all ini parameters I have been tested (session_lifetime, ect...), the session garbage collector don't seem to work; my /tmp directory remain full of file like 'eca49c28ecf7ceb11437935e8e62a37d' also after a new call to session_start(). Explict calling of session_destroy() works fine. 2) PHP.INI notes says that session.gc_probability trim probability that garbage collector fire on session_start(), but looking to session.c source I saw that probability is (100-session.gc_probability). So, if you assign 100 to session.gc_probability, garbage collector cannot start. To resolve problem 1) I try several values of session.gc_probability, but none work.