What happened to server.properties

If you were updating within the last few hours you prob lost your server.properties file to an empty file. There were several typos that happened and caused the file to go empty. Sorry about that. It should be fine now. Just run the install.php to make sure.

Here is a quick dummy server.properties (note this issue was solved on 5/27/20 but here for legacy reasons

#Minecraft server properties
#Wed May 27 17:41:51 CDT 2020
spawn-protection=16
max-tick-time=60000
query.port=25565
generator-settings=
force-gamemode=false
allow-nether=true
enforce-whitelist=false
gamemode=survival
broadcast-console-to-ops=true
enable-query=false
player-idle-timeout=0
difficulty=peaceful
broadcast-rcon-to-ops=true
spawn-monsters=true
op-permission-level=4
pvp=false
snooper-enabled=true
level-type=default
hardcore=false
enable-command-block=false
network-compression-threshold=256
max-players=20
resource-pack-sha1=
max-world-size=29999984
function-permission-level=2
rcon.port=25575
server-port=25565
server-ip=
spawn-npcs=true
allow-flight=false
level-name=world
view-distance=10
resource-pack=
spawn-animals=true
white-list=false
rcon.password=
generate-structures=true
online-mode=true
max-build-height=256
level-seed=
prevent-proxy-connections=false
use-native-transport=true
enable-rcon=false
motd=testing server name