4a1f3245d0
this creates a new config setting, merge_default_java_args, that users may set to false to override the default java_args. |
||
---|---|---|
.. | ||
database | ||
master | ||
server | ||
globals.pp | ||
init.pp | ||
params.pp | ||
server.pp |
4a1f3245d0
this creates a new config setting, merge_default_java_args, that users may set to false to override the default java_args. |
||
---|---|---|
.. | ||
database | ||
master | ||
server | ||
globals.pp | ||
init.pp | ||
params.pp | ||
server.pp |