[2020] MOVED: Change settings on a running dedicated server.

Depends on the setting. For the most part you can change them without an issue. Some require you to shut the server off, change the config, and then start it up again. Changing a setting like the seed, or map size, will require starting over.