re format server.json