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

kenneth_suter
13.14.2007 72c939b50428a2aa1f924a04ecdedee93e1383f4
opends/src/server/org/opends/server/backends/task/TaskScheduler.java
@@ -347,6 +347,10 @@
        activeThreads.put(task.getTaskID(), taskThread);
        taskThread.setTask(task);
      }
      else if (TaskState.isDone(state))
      {
        completedTasks.add(task);
      }
      else
      {
        pendingTasks.add(task);
@@ -871,6 +875,13 @@
   */
  private TaskState shouldStart(Task task)
  {
    // If the task has finished we don't want to restart it
    TaskState state = task.getTaskState();
    if (state != null && TaskState.isDone(state))
    {
      return state;
    }
    if (! isRunning)
    {
      return TaskState.UNSCHEDULED;