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