fix server.json format bug