Change Server Properties

To change the properties of a server, select the server and click on Change Server Properties in the context menu. In the dialog that will appear you can modify the name, the URL and the keep alive timer of the server.

The name is used to identify the server, the URL is used to access the server and the keep alive timer is the interval at which the client checks regularily for project changes on the server.