[linux] Re: php exec vraag

[Rob Sterenborg]

>> Doe je nog iets met die pids behalve opruimen als ze weg zijn?
>> Zo nee, dan kun je je de moeite ook besparken van het wegschrijven
>> van de pids...
> 
> De scripts maken indexen op een tekstdatabase. Zolang ze nog niet
> klaar zijn, kan de database niet geraadpleegd worden.

Maar als een script een PID in een file kan zetten dan moet het zelf
toch zeker de PID kunnen verwijderen als het klaar is? Of zie ik wat
over het hoofd...