mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a29d6b | patch | commitdiff
chebrard
16.02.2009 0eaee4bea7b7400074cc051eba4e7009e7212547
refs
author chebrard <chebrard@localhost>
Monday, March 16, 2009 17:02 +0100
committer chebrard <chebrard@localhost>
Monday, March 16, 2009 17:02 +0100
commit0eaee4bea7b7400074cc051eba4e7009e7212547
tree d65949760870e87740d31cb82dcbc5b8a4360085 tree | zip | gz
parent a29d6b968d8b00f2e892c5cacf5a1e51a58eebba view | diff 
Fix: 3873: sometimes CLI use java.properties from other CLI
1 files modified
9 ■■■■■ changed files
opends/src/server/org/opends/server/tools/configurator/CheckInstance.java 9 ●●●●● diff | view | raw | blame | history