On Thu, 20 Dec 2001 [EMAIL PROTECTED] wrote: >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 >
But as this obviously isn't democracy, the 1 vote to option 4 rules out all the other votes. (I guess that's Zeev's vote) --Jani -- 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]
