You can edit server details, such as the server name and port. You can also access the other server management tabs from this page.
Click Devices > Identity Servers > [server name].
Click Edit.
Modify the following fields as necessary:
Name: The name of Identity Server. Names must be alphanumeric and can include spaces, hyphens, and underscores.
Management IP Address: The IP address of Identity Server. Changing server IP addresses is not recommended and causes the server to stop reporting. See Section 1.4, Changing the IP Address of Access Manager Devices.
Port: Identity Server port used for management.
Location: The location of Identity Server.
Description: A description of Identity Server.
To save your changes, click OK.