Keep a separate PID file for each world server.