Try our new documentation site (beta).
WLSTokenDuration
Web License Service token duration
Type: | int | |
---|---|---|
Default value: | 0 | |
Minimum value: | 0 | |
Maximum value: | MAXINT |
When using a WLS license, this parameter can be used to adjust the lifespan (in minutes) of a token. A token enables Gurobi to run on that client for the life of the token. Gurobi will automatically request a new token if the current one expires, but it won't notify the WLS server if it completes its work before the current token expires. A shorter lifespan is better for short-lived usage. A longer lifespan is better for environments where the network connection to the WLS server is unreliable.
The default value of 0 means 'automatic', and is currently equal to 5 minutes. This value may change in the future.
For examples of how to query or modify parameter values from our different APIs, refer to our Parameter Examples.