Justtechjobs.com Find a programming school near you






Online Campus Both


php-developer-list | 2001122

Re: [PHP-DEV] [Patch] To Zend for bug 1457 From: Jason Greene (usrgre-php <email protected>)
Date: 12/18/01

So we all finally agreed on this? : )
----- Original Message -----
From: "Derick Rethans" <d.rethans <email protected>>
To: "PHP Developers Mailing List" <php-dev <email protected>>
Sent: Tuesday, December 18, 2001 5:14 AM
Subject: [PHP-DEV] [Patch] To Zend for bug 1457

> Hello,
>
> here is a patch that implements shell_exit(). It is simliar to exit(), but
> it does not print the return value.
>
> regards,
>
> Derick Rethans
>
> ---------------------------------------------------------------------
> PHP: Scripting the Web - www.php.net - derick <email protected>
> SRM: Site Resource Manager - www.vl-srm.net
> ---------------------------------------------------------------------
> JDI Media Solutions - www.jdimedia.nl - d.rethans <email protected>
> Boulevard Heuvelink 102 - 6828 KT Arnhem - The Netherlands
> ---------------------------------------------------------------------
>

--------------------------------------------------------------------------------

> --
> PHP Development Mailing List <http://www.php.net/>
> To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
> For additional commands, e-mail: php-dev-help <email protected>
> To contact the list administrators, e-mail: php-list-admin <email protected>

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>