[Zeev Suraski <[EMAIL PROTECTED]>] > The WTF factor is generally higher with magical stuff like that. It's > not too far fetched to realize a situation where a 'WTF?' will be > flown into the air, just because the error message happened to be "1", > or "20"... > > shell_exit() is not a very good name. That's why I haven't failed to > mention, every time I mentioned it, that a better name would be > better. We can have exit_with_status(), silent_exit(), etc.
exit_with_status() is good. - Stig -- Stig Sæther Bakken <[EMAIL PROTECTED]> Fast Search & Transfer ASA, Trondheim, Norway -- 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]
