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