Download full document:

licenseserver

License server information

show | delete | set | add

show licenseserver

Use this operation to get License server details

Synopsys

show licenseserver [id=<string>]

Parameters

id

Id is system generated key

delete licenseserver

Use this operation to delete License server

Synopsys {#synopsys-1 style="margin-left: 20px;"}

delete licenseserver [id=<string>]

Parameters {#parameters-1 style="margin-left: 20px;"}

id

Id is system generated key

set licenseserver

Use this operation to modify License server

Synopsys {#synopsys-2 style="margin-left: 20px;"}

set licenseserver [connection_status=(false | true)] [grace=(false | true)] [port=<int>] [id=<string>] [grace_time_left=<int>] [server=<internethost>]

Parameters {#parameters-2 style="margin-left: 20px;"}

connection_status

License server is connected

grace

Box is running on grace

port

License port

id

Id is system generated key

grace_time_left

grace time remaining left in Hours

server

Server/IP address of License server

add licenseserver

Use this operation to add License server

Synopsys {#synopsys-3 style="margin-left: 20px;"}

add licenseserver [connection_status=(false | true)] [grace=(false | true)] [port=<int>] [grace_time_left=<int>] [server=<internethost>]

Parameters {#parameters-3 style="margin-left: 20px;"}

connection_status

License server is connected

grace

Box is running on grace

port

License port

grace_time_left

grace time remaining left in Hours

server

Server/IP address of License server