At 14:04 19/12/2001, [EMAIL PROTECTED] wrote: >Two ways to fix it then, either update the manual, or fix exit(). I go for >the last one then. Ppl who relied on the undocumented feature then, did >simply the wrong thing.
Only the documentation was wrong to begin with! A documentation bug should not become a feature, especially when it never worked that way, so anybody who actually used this function saw that it was behaving differently. Zeev -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] To contact the list administrators, e-mail: [EMAIL PROTECTED]