mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a99bdd | patch | commitdiff
jcambon
02.11.2009 f980cd69859da0da328e1d97306d70f2f0844ab8
refs
author jcambon <jcambon@localhost>
Thursday, April 2, 2009 18:11 +0200
committer jcambon <jcambon@localhost>
Thursday, April 2, 2009 18:11 +0200
commitf980cd69859da0da328e1d97306d70f2f0844ab8
tree 6c38300b3e16fb3464b591367e5af42a60270274 tree | zip | gz
parent a99bddb22344341e4128a3a16771a3b28e313b78 view | diff 
Fix for issue #3748 : Some admin tools don't use 4444 as default admin port
2 files modified
14 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/tools/ManageAccount.java 7 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/tools/StopDS.java 7 ●●●●● diff | view | raw | blame | history