Explique comment l'utiliser pour gérer différents aspects du comportement d'une licence réseau.
Le fichier Options est un fichier texte qui contient les commandes et les paramètres qui déterminent la manière dont un serveur de licence gère les licences. Le fichier de licence réseau lit le fichier Options et le programme lmgrd exécute les instructions. Un fichier Options n'est pas obligatoire pour la gestion des licences réseau. Il s'agit d'un composant facultatif de FLEXnet offrant des fonctionnalités étendues.
Sur chaque serveur, le fichier Options spécifie le comportement du traitement des licences pour ce serveur. En gérant le contenu des fichiers d'options, vous pouvez spécifier le même comportement pour tous les serveurs de licence et appliquer des différences spécifiques à chacun de ces serveurs.
Les autres rubriques de ce guide expliquent comment utiliser le fichier Options pour définir les paramètres des fonctions suivantes relatives au serveur :
Vous pouvez également définir des paramètres avancés concernant la définition de groupes d'utilisateurs, la réservation de licences et la limitation de leur utilisation. Ces options s'avèrent particulièrement utiles si un pool de licences n'est pas correctement distribué ou réparti en cascade entre les utilisateurs.
Pour plus d'informations sur la définition des paramètres avancés du fichier Options, consultez le document FLEXnet intitulé License Administration Guide. Ce PDF est installé sur le serveur de licence dans le répertoire Network License Manager.