[Patch] To Zend for bug 1457
| From: | Derick Rethans | Date: | Tue, 18 Dec 2001 11:14:11 +0000 |
| Subject: | [Patch] To Zend for bug 1457 | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-74229@lists.php.net to get a copy of this message | ||
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@php.net
SRM: Site Resource Manager - www.vl-srm.net
---------------------------------------------------------------------
JDI Media Solutions - www.jdimedia.nl - d.rethans@jdimedia.nl
Boulevard Heuvelink 102 - 6828 KT Arnhem - The Netherlands
---------------------------------------------------------------------