...
- To edit an existing license server configuration, click the edit icon in the Realtime License Servers grid row for the license server you want to change. An Edit License Server dialog opens to allow you to change the existing settings for that license server.
or
To add and configure a new license server, click the Add New button at the bottom of the Realtime License Servers grid. An Add New License Server dialog opens to allow you to configure the new license server. - Complete the information in the Add New/Edit License Server dialog's General tab as described in the table below.
- After you enter all the information for the license server in the General tab, you can click Verify before proceeding to ensure that the information is valid. you can connect to the license server. Verification may take a long time depending on the license manager’s response time. (Setting the query interval in the Additional Options tab to 1 minute may make verification faster.) The results include the status (success or failure), the reason for the failure if verification failed, and the query tool output. You can save the output to a file if desired.
- To continue to the Additional Options tab, click Next. Complete the information in the Additional Options tab as described in the table below.
- After completing all settings as needed, click Save or Save and Close to save the configuration settings. You can click Cancel at any time if you do not wish to save your changes.
...