Exponenta Banner

Управляйте именованными пользователями для Polyspace доступ

Polyspace® Доступ к лицензии является лицензией Сетевого именованного пользователя (NNU). Вы задаете пользователей, которым вы предоставляете привилегии права на использование в текстовом файле обычно под названием MLM.opt. Смотрите Конфигурируют Polyspace доступ к Лицензии. Чтобы добавить или удалить пользователей из списка Именованных пользователей, сопоставленных с Polyspace доступ к лицензии, отредактируйте список Именованных пользователей в GROUP и INCLUDE записи MLM.opt файл. 

 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

Для каждого пользователя введите имя пользователя, которое пользователь задает, чтобы регистрировать в Polyspace доступ. Имена пользователей соответствуют записям имени пользователя в вашей компании сервер LDAP или User Manager внутренняя директория. Смотрите Конфигурируют Диспетчер пользователей.

Для Polyspace, когда Вы Кодируете пользователей, имя пользователя должно также соответствовать, имя пользователя раньше регистрировало в машину, где пользовательский Polyspace установок и запусков, когда Вы Кодируете.

Затем в окне командной строки перейдите к папке, где вы установили менеджер лицензий. Остановите и перезапустите менеджер лицензий.

Примечание

Эти инструкции не применяются к клиентам Корпоративной лицензии.

Windows®

cd LM_Folder\etc\win64
lmutil lmdown
lmgrd.exe -c pathToLicense -l lm_log.log

На Windows можно также использовать lmtool.exe и перейти к вкладке Start/Stop/Reread, чтобы остановить и перезапустить менеджер лицензий.

Linux® 
cd LM_Folder/etc/glnx64
./lmutil lmdown
./lmgrd -c pathToLicense -l lm_log.log

LM_Folder папка, где вы установили менеджер лицензий.

pathToLicense путь к Polyspace доступ к файлу лицензии.

Изменения в файле опций могут быть задержаны на 15 минут, прежде чем они вступят в силу.

Чтобы просмотреть состояние менеджера лицензий и видеть, сколько лицензий в настоящее время проверяется, используйте lmstat команда.

Windows

cd LM_Folder\etc\win64
lmutil.exe lmstat -c pathToLicense -a

На Windows можно также использовать lmtool.exe и перейти к вкладке Server Status, чтобы остановить и перезапустить менеджер лицензий.

Linux 
cd LM_Folder/etc/glnx64
./lmutil lmdown
./lmutil lmstat -c pathToLicense -a

LM_Folder папка, где вы установили менеджер лицензий. pathToLicense путь к Polyspace доступ к файлу лицензии.

Похожие темы

Документация Polyspace Code Prover

Поддержка