mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6e53a5 | patch | commitdiff
lutoff
03.08.2008 b3caa392606ce826dd09813c1e349cff9a741025
refs
author lutoff <lutoff@localhost>
Thursday, April 3, 2008 12:08 +0200
committer lutoff <lutoff@localhost>
Thursday, April 3, 2008 12:08 +0200
commitb3caa392606ce826dd09813c1e349cff9a741025
tree 4e170b2d17363dfa5825d2b1b47659926dc9802c tree | zip | gz
parent 6e53a5f10e25eb81fee980c639353cd7f73f1e29 view | diff 
Fix for issue #3108 (restore: missing "task completed" ending message.)
2 files modified
15 ■■■■■ changed files
opends/src/messages/messages/tools.properties 4 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/tasks/TaskTool.java 11 ●●●●● diff | view | raw | blame | history