[linux] Re: php exec vraag

[Paul Slootman]

On Mon 15 Jan 2007, Hans Paijmans wrote:
> 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.

Da's wel duidelijk, maar waarom kunnen die indexeer-scripts niet zelf
hun eigen PID verwijderen... Dat hoeft dan maar 1 x te gebeuren, ipv.
tig keer; daarnaast voorzie ik problemen als het hoofdmenu meerdere
keren tegelijk aangeroepen worden :)


Paul Slootman