Page created: 15 Jul 2022 |
Page updated: 22 Dec 2022
The server supports the use of a tools properties file (config/tools.properties) to simplify command-line invocations by reading in a set of options for each tool from a text file.
Properties files are convenient when quickly testing the server in multiple environments.
Each property takes the form of a name-value pair that defines predetermined values for a tool’s options.
The server supports the following types of properties:
- Default properties that apply to all command-line utilities
- Tool-specific properties