${lead}
Die Liste laufender Prozesse setzt Linux Dash über die Ausgabe des Shell-Befehls ps zusammen, den der PHP-Code über shell_exec() ausführt.