note 37650 added to function.session-destroy

This is the code I used to test sessoin_destroy <? session_start(); //adding bunch of garbage to sesssion session_register("fist","seond","third"); global $fist, $seond, $third; $fist = "first"; $seond = "seond"; $third = "third"; for($i=0;$i<40;$i++) { usleep(1000); //1000 microsecond of delay -> 0.001 sec } echo("Done"); session_destroy(); ?> If you refresh the page by just pushing Ctrl+R key on IE for 3-5 second,(just keep pressing it) it will give you Done Warning: Session object destruction failed or Done Warning: session_destroy(): Session object destruction failed I tested it on 4.0.6 and 4.3.2 they both gave me the same error, is it a bug? If it is , how do I report it? Is it fixed on 4.3.4 ?? ---- Manual Page -- http://www.php.net/manual/en/function.session-destroy.php Edit -- http://master.php.net/manage/user-notes.php?action=edit+37650 Delete -- http://master.php.net/manage/user-notes.php?action=delete+37650&report=yes Reject -- http://master.php.net/manage/user-notes.php?action=reject+37650&report=yes Search -- http://master.php.net/manage/user-notes.php