mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 24282c | patch | commitdiff
jvergara
18.01.2008 1e78dcc113e8a35c82365451f7886bdcaa47dc90
refs
author jvergara <jvergara@localhost>
Tuesday, November 18, 2008 02:01 +0100
committer jvergara <jvergara@localhost>
Tuesday, November 18, 2008 02:01 +0100
commit1e78dcc113e8a35c82365451f7886bdcaa47dc90
tree fbb9ad3bdfff1b08e169d2554b4476cd6e2d1e1a tree | zip | gz
parent 24282c49b396fdf33ea049fa97c642904b63b20f view | diff 
Fix for issue 3612 (Control Panel: in the "Java Settings" panel, the value for "Java Home" variable is not correct (missing "\" characters)

Use the same parsing code used in JavaPropertiesTool to retrieve the values set in the java.properties file.  This avoids problems with the '\' character.
2 files modified
153 ■■■■■ changed files
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/ui/JavaPropertiesPanel.java 12 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 141 ●●●●● diff | view | raw | blame | history