server.properties - Minecraft Wiki

server.properties is the file which stores all the settings for a multiplayer ( Minecraft or ... ...

minecraft.gamepedia.com