mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b3c635 | patch | commitdiff
jvergara
20.11.2007 7008381ae6c2eb1fd67a1cc50b8e78dbc2fc78c6
refs
author jvergara <jvergara@localhost>
Friday, July 20, 2007 19:11 +0200
committer jvergara <jvergara@localhost>
Friday, July 20, 2007 19:11 +0200
commit7008381ae6c2eb1fd67a1cc50b8e78dbc2fc78c6
tree 059225c7e9306c3abd9b712f3eb1b6beb083647a tree | zip | gz
parent b3c63571f6cd697072a0c3dd816c44923bf39fe2 view | diff 
Fix for issue 2006.

Compare the values provided by the user for the different ports.  If they match, display an error message.
3 files modified
94 ■■■■■ changed files
opends/src/server/org/opends/server/messages/ToolMessages.java 11 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/ConfigureDS.java 50 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/InstallDS.java 33 ●●●●● diff | view | raw | blame | history