Page created: 24 Jul 2019 |
Page updated: 6 Nov 2019
To change the version of java that is used by the server and tools, it is necessary to edit the config/java.properties file and apply the change by invoking bin/dsjavaproperties with no command line options. Also, the server must be restarted for the change to take affect.
Inside config/java.properties, alter the value of default.java-home to point to the java correct JRE. Any time the config/java.properties file is updated, the bin/dsjavaproperties tool must be run to apply the new configuration.