Page created: 15 Jul 2022
|
Page updated: 11 Jul 2023
The server provides a default properties file, tools.properties, that
applies to all command-line utilities used in client requests.
To use a file with a different filename in the default tools.properties
location, specify the path using the --propertiesFilePath option.