Configuration hot-reloading does not work

[fabianhauser]

If a user changes the settings, the server should be reloaded with the new settings. Currently, this is not the case (see server.ts).