PHP gestarteter prozess lässt sich nicht beenden!

[TS]

Hallo und guten Abend,

Der "Fix" ist, das Kommando mit vorangestelltem "exec" auszuführen. Das vermeidet anscheinend die Wrapper-Shell, die abfragbare PID ist dann die vom tatsächlichen Prozess, und der lässt sich dann auch auf normalem Weg beenden.

Außerdem kann man dem Prozess selber eine Abbruchbedingung mitgeben.
Innerhalb der zweifellos irgendwo im Prozess vorhandenen Endlosschleife baut man einfach ein (gelegentliches, je nach Aufgabe) Abfragen auf die Existenz eines Runfiles ein. Wenn das nicht mehr da ist, muss der Prozess sich (geordnet) beeneden.

Und ein Tipp aus der Praxis: Doppelt genäht hilft hier doch meistens besser ;-)

Grüße
TS