Editing Servers

Servers can be edited at any point by clicking the icon next to the appropriate server in the list of servers on the relevant group page. After clicking, one is presented with a page similar to that of server creation, except fields are pre-filled.

Edit the fields (described in server creation) and then press the submit button to save.