https://www.php-resource.de/forum/linux-und-unix/21226-programm-starten-mit-einer-pid-file