Using Waveset.properties to Configure Waveset

Some Waveset settings can only be updated by editing Waveset.properties in a text editor. The Waveset.properties file is located in the config directory in your base Waveset installation directory ($WSHOME/config or %WSHOME%/config).

The Waveset.properties file is loosely organized into the following sections:

• 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

To Edit Waveset.properties

1. Open the Waveset.properties file in a text editor.

   You can find the Waveset.properties file in the config directory in your base Waveset installation directory ($WSHOME/config or %WSHOME%/config).

2. Modify the setting (or settings) that you want to change and save the file.

3. Repeat as needed on other Waveset instances.