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 -- 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]
