mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 3bd454 | patch | commitdiff
pgamba
07.31.2008 2ac02a4049ffae9c2a24dc157e224f169229f11b
refs
author pgamba <pgamba@localhost>
Thursday, February 7, 2008 16:31 +0100
committer pgamba <pgamba@localhost>
Thursday, February 7, 2008 16:31 +0100
commit2ac02a4049ffae9c2a24dc157e224f169229f11b
tree bf1db176b0f5bf61cab23895eeec69f9d02ab5b0 tree | zip | gz
parent 3bd454c19aad39a3a482235635f2171e27ff776a view | diff 
No need to check again a completed task.
1 files modified
5 ■■■■■ changed files
opends/src/server/org/opends/server/tasks/InitializeTargetTask.java 5 ●●●●● diff | view | raw | blame | history