Main menu "Extras"

Create GUID

Generates a GUID and copies it to the clipboard.

Switch to a different server

Opens a dialog where you can change to another Portal Server.

Disconnect server

Disconnects from the current server.

Administration logins

Opens a dialog where administration logins can be managed.

License Manager

Opens a dialog where the licenses you have purchased can be distributed to individual portals. Click here for more information about this topic.

Server software update settings

Click for more information about this menu item.

Check for software updates

Click here for more information about this menu item.

Options

Opens a dialog where general and module-specific settings can be made. On the left-hand side, select the areas where you would like to make changes; the settings will be shown in the right-hand area. Press F1 or the "Help" button if you require more information about each of the settings.