mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 9ae7f8 | patch | commitdiff
Ludovic Poitou
09.20.2013 236551ca7ea0528aa6cc63479a84382b915ba66f
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
commit236551ca7ea0528aa6cc63479a84382b915ba66f
tree 1e9b29df0b9f7411063bbd15cc04a50e30eeb660 tree | zip | gz
parent 9ae7f88de951aab090a4850f122c553439b8a331 view | diff 
Fix OPENDJ-1067: Tools are not properly picking up OPENDJ_JAVA_HOME variable.
1 files modified
4 ■■■■■ changed files
opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 4 ●●●●● diff | view | raw | blame | history