pidfile management for PHP daemons