Main Content

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_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_BF_Access USER admin
# Grant right-to-use privileges to group of users
INCLUDE Polyspace_BF_Access GROUP ACCESS_users

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

For Polyspace as You Code users, the username must also match the username 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