Waveset.properties を使用した Identity Manager の設定

Identity Manager の設定の中には、Waveset.properties をテキストエディタで編集しないと更新できないものがあります。このWaveset.propertiesファイルは、Identity Manager の標準インストール先ディレクトリの config ディレクトリ内にあります ($WSHOME/config または %WSHOME%/config)。

Waveset.properties ファイルは、大まかに次の部分から構成されています。

• Misc Options

• Authentication Options

• Object Cache Options

• Provisioning Options

• Task Scheduler Options

• Resource Adapter Options

• List Cache Properties

• Rule Driven Members Cache Properties

• Session Settings

• Server Listeners

• UI Options

• Global Options for the JNDI Context Pooling

• Task Executor Options

• XML Parsing Options

Waveset.properties を編集する

1. テキストエディタで、Waveset.properties を開きます。これは、Identity Manager の標準インストール先ディレクトリの config ディレクトリ内にあります ($WSHOME/config または %WSHOME%/config)。

2. 変更が必要な設定があれば修正して、ファイルを保存します。

3. 他の Identity Manager インスタンスにも、必要に応じてこの手順を繰り返します。