server does not have to be offline to change the server.porperties file!