[linux] Re: php exec vraag

[Hans Paijmans]

Rob Sterenborg wrote:
>>> 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...

Als het indexeer-script wordt aangeroepen, wordt de PID in een bestandje
gezet. Iedere keer als het hoofdmenu van het systeem wordt geladen,
checkt een ander scriptje welke PIDs uit dat bestandje nog actief zijn,
en gooit de PIDs die niet meer actief zijn, eruit.



-- 
Dr. J.J. Paijmans
Tilburg University: Dept. of Linguistics & AI               013-4662693
Rijksdienst voor Archeologie, Cultuurlandchap en Monumenten 033-4227591
Maastricht University: IKAT, Faculty of General Sciences    043-3883477
Thuis: Kleine St.Jansstraat 3, 3811 HV  Amersfoort          033-4722579
http://paai.uvt.nl     http://paijmans.net         GSM: +31 621 961 083