On Tue, 25 Mar 2003, Jan Schneider wrote:

> Quoting Edin Kadribasic <[EMAIL PROTECTED]>:
> 
> > > Current HEAD:
> > >
> > > die("line: " . __LINE__) works as expected, but die(__LINE__)
> > doesn't output
> > > anything.
> > 
> > That's because die(int) will set exit status and not print anything.
> > die(string) prints string and exits.
> 
> Hm, that should perhaps be added to the manual. According to the user notes
> the same applies to exit.

File a documentation bug for this?

Derick

-- 
                                        "my other box is your windows PC"
-------------------------------------------------------------------------
 Derick Rethans                                 http://derickrethans.nl/ 
 PHP Magazine - PHP Magazine for Professionals       http://php-mag.net/
-------------------------------------------------------------------------

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to