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

Nicolas Capponi
06.51.2014 10bac0ad21fca0c5ac8bf6d7dc712c5899c2d0e6
opendj3-server-dev/src/server/org/opends/server/tools/ManageTasks.java
@@ -35,8 +35,7 @@
import org.opends.server.config.ConfigException;
import org.opends.server.core.DirectoryServer;
import static org.opends.server.loggers.ErrorLogger.removeErrorLogPublisher;
import org.opends.server.loggers.ErrorLogger;
import org.opends.server.protocols.asn1.ASN1Exception;
import static org.opends.server.tools.ToolConstants.*;
@@ -95,7 +94,7 @@
    int retCode = mainTaskInfo(args, System.in, System.out, System.err);
    if (errorLogPublisher != null) {
      removeErrorLogPublisher(errorLogPublisher);
      ErrorLogger.getInstance().removeLogPublisher(errorLogPublisher);
    }
    if (retCode != 0) {