server.dat file changes into server.dat_tmp after refreshing and entering servers (and leaving), not sure about second trigger though.