License Server Utility Options File for MapInfo Pro and MapInfo Runtime - License_Server - 5.5

MapInfo License Server Help

Product type
Software
Portfolio
Locate
Product family
MapInfo
Product
MapInfo > License Server Utility
Version
5.5
Language
English
Product name
License Server
Title
MapInfo License Server Help
First publish date
1998
Last updated
2023-09-12
Published on
2023-09-12T16:25:00.210000

The options file allows the license administrator to control various parameters, like user access control, within the constraints of the license.

The parameters that can be controlled by a License Server Utility administrator are as follows:

  • Deny or allow a user access to any product within License Server Utility
  • Prevent or allow a user from borrowing any license or licenses with a specific entitlement ID
  • Allow a user to use a specific product
  • Set usage limitations on a particular product
  • Reserve license for a particular user

Examples of a product can be:

  • MAPINFO.PROFESSIONAL.1200 for MapInfo Pro version 12.0.x
  • MAPINFO.PROFESSIONAL.1150 for MapInfo Pro version 11.5.X
  • MAPINFO.PROFESSIONAL.RT.1150 for Mapinfo Runtime version 11.5.X

Key Terms

Term Definition
User
Defines the user name of the user running MapInfo Pro or MapInfo Runtime. User names are case sensitive and must not contain spaces. For example, user1, user1, etc. A user or multiple users can be defined as:
  • USER user1 user2
Host
Defines the system host name or the IP address on which the application is being run. Host names are case sensitive. For example, host1, host2, etc. The IP address can contain wildcard characters, for example, 153.142.75.* (0-255). A host can be defined as:
  • HOST host1 host2 153.142.75.120
Group
Defines a group of users by their user names. For example, group1, group2, etc. A group can be defined as:
  • GROUP group1 user1 user2
where the group group1 consists of the users user1 and user2.
Host Group
Defines a particular group by its host name or its IP address. For example, host_group1, host_group2, etc. A host group can be defined as:
  • HOST_GROUP host_group1 153.142.75.125 host1
where host_group1 consists of an IP address 153.142.75.125 and a host host1.
Comment
Include comments in your options file by starting each comment line with #. A comment can be used as:
  • # Defining the group group1