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

Jean-Noel Rouvignac
09.40.2015 edc595e56216e680d268376e85c7625f2f052b6a
opendj-server-legacy/src/main/java/org/opends/server/tools/tasks/TaskTool.java
@@ -309,8 +309,7 @@
            taskEntry = tc.getTaskEntry(taskId);
            List<LocalizableMessage> logs = taskEntry.getLogMessages();
            for (LocalizableMessage log : logs) {
              if (!printedLogMessages.contains(log)) {
                printedLogMessages.add(log);
              if (printedLogMessages.add(log)) {
                out.println(log);
              }
            }