mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: acf0f8 | patch | commitdiff
jvergara
18.01.2008 8e56a3541e4d0780a59cec88c6e8770565224180
refs
author jvergara <jvergara@localhost>
Tuesday, November 18, 2008 02:01 +0100
committer jvergara <jvergara@localhost>
Tuesday, November 18, 2008 02:01 +0100
commit8e56a3541e4d0780a59cec88c6e8770565224180
tree a1ea0f2e159b3272d686029102cd18259bc6a454 tree | zip | gz
parent acf0f83dbf02429511bee27d63b7789f1f85adcd 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
opends/src/guitools/org/opends/guitools/controlpanel/ui/JavaPropertiesPanel.java 12 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 141 ●●●●● diff | view | raw | blame | history