At 15:21 19/12/2001, Lars Torben Wilson wrote:
>Zeev Suraski writes:
> > Even if you repeat it may times, it still wouldn't be a bug.  When I wrote
> > exit() I intended exit() to print out its argument, regardless of its
> > type.  It's been behaving like this since PHP 3.0.0 alpha 1, because it 
> was
> > supposed to behave like that.
> > The doc team got it wrong, and misdocumented it.
>
>Only this May. Before that, the docs were correct. Logically, though,
>the fact that a member of the doc team replaced the correct docs with
>an erroneous description doesn't imply that the function behaved
>correctly to start with.

Considering it does what its author intended it to do, and that it's been 
doing that since 1997, yes, it does :)  If we argued about it in 1997 
things may have looked different, but this is almost 2002 now.

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]

Reply via email to