format server.json