 |
 |
Find a programming school near you
php-developer-list | 2001122
Date: 12/18/01
- Next message: Robin Ericsson: "[PHP-DEV] Bug #13227"
- Previous message: derick <email protected>: "[PHP-DEV] Bug #14574 Updated: exit() and its annoying output"
- Next in thread: Jason Greene: "Re: [PHP-DEV] [Patch] To Zend for bug 1457"
- Reply: Jason Greene: "Re: [PHP-DEV] [Patch] To Zend for bug 1457"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
---------------------------------------------------------------------
- TEXT/PLAIN attachment: zend_shell_exit.diff
-- 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>
- Next message: Robin Ericsson: "[PHP-DEV] Bug #13227"
- Previous message: derick <email protected>: "[PHP-DEV] Bug #14574 Updated: exit() and its annoying output"
- Next in thread: Jason Greene: "Re: [PHP-DEV] [Patch] To Zend for bug 1457"
- Reply: Jason Greene: "Re: [PHP-DEV] [Patch] To Zend for bug 1457"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
