オプション ファイルを使用して、ライセンス サーバのライセンス管理方法を決定する環境設定オプションを設定します。オプション ファイルには、ライセンス ファイルを読み取って lmgrd プログラムを実行するパラメータを設定します。
それぞれのサーバ上のオプション ファイルによって、そのサーバのライセンス処理方法が指定されます。オプション ファイルの内容を管理することにより、すべてのライセンス サーバが同じ動作を行うように指定したり、サーバ間に特定の違いを持たせることができます。
オプション ファイルを使用して、次のサーバ関連機能のパラメータを設定します。
ライセンスの予約、ライセンス使用の制限、ユーザ グループの定義などの高度なライセンス パラメータを設定することもできます。オプション ファイルの高度なパラメータ設定の詳細は、FLEXnet のドキュメントを参照してください。このドキュメントは、ライセンス サーバの Network License Manager フォルダにインストールされます。