If you select
the Network/Floating Licensing option, use the Set Port and Server
dialog box to specify the port number and the host name of the license server.
Procedure
- Type in the Port number. The default value in
the license file is 1717.
- Type in the host name of the license server.
Tip If you are not sure about either the Port number
or host name, consult your license server system administrator.
- Click Next to
validate the port number and host name of the server. This step
adds the port@host value (FlexNet syntax) to the MGLS_LICENSE_FILE
environment variable. If the MGLS_LICENSE_FILE environment variable
already exists, it adds the port@host to the end of the value (and uses
the semi-colon character as the delimiter). After validation completes,
the installation proceeds with “Completing License Configuration”.
If you need to define
three license servers as part of a redundant server configuration,
you need to set the MGLS_LICENSE_FILE environment variable manually.
For example:
MGLS_LICENSE_FILE = 1717@red_server1;1717@red_server2;1717@red_server3
For more information on setting environment variables,
refer to “Environment Variables”. For more information on the MGLS_LICENSE_FILE variable or redundant
server configurations, refer to the Licensing Mentor Graphics Software
manual (mgc_licen.pdf) available from the release_documents directory
in the download or from Support Center.
