write PHP pid into php.pid