Write out pid when launching server