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