Edit server configuration

Server configuration can be edited as long as the server has not been deployed. Configuration of already deployed and running servers is not supported.