mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 095239 | patch | commitdiff
Ludovic Poitou
09.20.2013 2238db477840538e742d22dc39741ac3a3d0bb8f
refs
author Ludovic Poitou <ludovic.poitou@forgerock.com>
Tuesday, July 9, 2013 15:20 +0200
committer Ludovic Poitou <ludovic.poitou@forgerock.com>
Tuesday, July 9, 2013 15:20 +0200
commit2238db477840538e742d22dc39741ac3a3d0bb8f
tree 2c9ee8f46d2265b8e5a560d31cc0c17c831f1e17 tree | zip | gz
parent 0952398f9615be9fa132635e34e64ce4c81b6706 view | diff 
Fix OPENDJ-1067: Tools are not properly picking up OPENDJ_JAVA_HOME variable.
1 files modified
4 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 4 ●●●●● diff | view | raw | blame | history