So we all finally agreed on this? : ) ----- Original Message ----- From: "Derick Rethans" <[EMAIL PROTECTED]> To: "PHP Developers Mailing List" <[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 - [EMAIL PROTECTED] > SRM: Site Resource Manager - www.vl-srm.net > --------------------------------------------------------------------- > JDI Media Solutions - www.jdimedia.nl - [EMAIL PROTECTED] > Boulevard Heuvelink 102 - 6828 KT Arnhem - The Netherlands > --------------------------------------------------------------------- > -------------------------------------------------------------------------------- > -- > 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] -- 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]
