server.properties 生成器

设置服务器的基本选项（游戏模式、难度、距离、安全性）并下载准备好的文件。