Re: exit() summary
| From: | derick@php.net | Date: | Wed, 19 Dec 2001 23:29:50 +0000 |
| Subject: | Re: exit() summary | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-74468@lists.php.net to get a copy of this message | ||
On Wed, 19 Dec 2001, Brian Moon wrote:
> I say we apply the shell_exit() patch and move on with our lives. If you
> are dead set on making exit work like that, then change your own code and be
> happy.
>
> I just want a solution ASAP. The code is written.
Code needs some rework, but that will take like 5 minutes. I can work on
that tomorrow. Just wanted to say that this is the outcome of the vote:
option 1: 29 ppl
option 3: 13 ppl
option 4: 1 ppl
regards,
Derick