mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 34ef24 | patch | commitdiff
jvergara
26.02.2009 cf102e91e13c1134657843c065fb29d50edaa7dc
refs
author jvergara <jvergara@localhost>
Monday, January 26, 2009 17:02 +0100
committer jvergara <jvergara@localhost>
Monday, January 26, 2009 17:02 +0100
commitcf102e91e13c1134657843c065fb29d50edaa7dc
tree f6ee7ef25f074b79e2bd41e1c6933fa283e70dd7 tree | zip | gz
parent 34ef24e42b23d094a2dc9a2ff9904569318602f8 view | diff 
Extend DirectoryServer so that other tools launching it can impose their own usage message.
1 files modified
17 ■■■■■ changed files
opends/src/server/org/opends/server/core/DirectoryServer.java 17 ●●●●● diff | view | raw | blame | history