Re: exit() summary

On Thu, 20 Dec 2001 derick@php.net 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