Main menu - Extras

Create GUID

With the menu Create GUID, a GUID will be created and copied to the clipboard.

Change portal server

The portal server can be changed here.

Manage administration logins

All Information on this topic can be found here.

License Manager

With the License Manager, the licenses you have purchased can be distributed to individual portals. All Information on this topic can be found here.

Online updates

All Information on this topic can be found here.

Options




This menu point opens the Options dialog. Here, general and module-specific settings can be made. On the left-hand side, select the areas where you'd like to make changes; the settings will be shown in the right-hand area. Information regarding each of the settings can be found by pressing F1 or by clikcing on the Help button when you're in the Options dialog.