Manage Named Users for Polyspace Access

The Polyspace^® Access license is a Network Named User (NNU) license. You specify the users to whom you grant right-to-use privileges in an text file typically named MLM.opt. See Configure Polyspace Access License. To add or remove users from the list of Named Users associated with the Polyspace Access license, edit the list of Named Users in the GROUP and INCLUDE entries of the MLM.opt file.

 Define a group of users
GROUP ACCESS_CP_users user1 user2 user3


# Grant right-to-use privileges to individual users
INCLUDE Polyspace_BF_Access USER user1
INCLUDE Polyspace_BF_Access USER user2
INCLUDE Polyspace_CP_Access USER admin
# Grant right-to-use privileges to group of users
INCLUDE Polyspace_CP_Access GROUP ACCESS_CP_users

For each user, enter the user name that the user specifies to log into Polyspace Access. The user names correspond to the user name entries in your company LDAP server or the User Manager internal directory. See Configure User Manager.

For Polyspace as You Code users, the user name must also match the user name used to log into the machine where the user installs and runs Polyspace as You Code.

Then, in a command-prompt window, navigate to the folder where you installed the license manager. Stop and restart the license manager.

Note

These instructions do not apply to Enterprise license customers.

Windows®	cd LM_Folder\etc\win64 lmutil lmdown lmgrd.exe -c pathToLicense -l lm_log.log On Windows, you can also use lmtool.exe and go to the Start/Stop/Reread tab to stop and restart the license manager.
Linux®	cd LM_Folder/etc/glnx64 ./lmutil lmdown ./lmgrd -c pathToLicense -l lm_log.log

LM_Folder is the folder where you installed the license manager.

pathToLicense is the path to the Polyspace Access license file.

Changes to the options file might be delayed by 15 minutes before they take effect.

To view the status of the license manager and see how many licenses are currently checked out, use the lmstat command.

Windows	cd LM_Folder\etc\win64 lmutil.exe lmstat -c pathToLicense -a On Windows, you can also use lmtool.exe and go to the Server Status tab to stop and restart the license manager.
Linux	cd LM_Folder/etc/glnx64 ./lmutil lmdown ./lmutil lmstat -c pathToLicense -a

LM_Folder is the folder where you installed the license manager. pathToLicense is the path to the Polyspace Access license file.

Related Topics

• Configure Polyspace Access App Services