mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

lutoff
03.08.2008 b3caa392606ce826dd09813c1e349cff9a741025
opends/src/server/org/opends/server/tools/tasks/TaskTool.java
@@ -437,8 +437,19 @@
          } while (!taskEntry.isDone());
          if (TaskState.isSuccessful(taskEntry.getTaskState())) {
            out.println(
                wrapText(INFO_TASK_TOOL_TASK_SUCESSFULL.get(
                        taskEntry.getType(),
                        taskEntry.getId()),
                MAX_LINE_WIDTH));
            return 0;
          } else {
            out.println(
                wrapText(INFO_TASK_TOOL_TASK_NOT_SUCESSFULL.get(
                        taskEntry.getType(),
                        taskEntry.getId()),
                MAX_LINE_WIDTH));
            return 1;
          }
        }