Write the PID file from the child process (the one that launches the