--
JorgeDElia - 21 Aug 2003
Procedimiento a seguir cuando la licencia de PGI (bajo FLEXlm) deje
de funcionar por cambios de hardware en el Server:
1 Verificar cual es el ID actual haciendo:
cd /usr/local/pgi
$PGI/linux86/bin/lmutil lmhostid
2 Comparar el ID actual con el que figura en el archivo "license.dat".
Si son distintos, entonces hay que actualizar ese archivo. Para eso,
visitar la pagina de PGI en
http://www.pgroup.com. Luego ir a "FAQ",
seccion "About Installation and Licensing", y seguir las instrucciones
para generar una nueva licencia (es decir, un nuevo contenido para el
archivo "license.dat").
4 Finalmente Stopear y Restartear el daemon FLEXlm con:
cd /usr/local/pgi/linux86/bin/
ls -all lmgrd*
./lmgrd.rc stop
./lmgrd.rc start