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

jvergara
09.27.2009 26cba063b15bd0d0925e2290800d9a661961530b
opends/src/server/org/opends/server/tools/ManageTasks.java
@@ -30,6 +30,7 @@
import org.opends.messages.Message;
import static org.opends.messages.ToolMessages.*;
import org.opends.server.api.ErrorLogPublisher;
import org.opends.server.config.ConfigException;
import org.opends.server.core.DirectoryServer;
import static org.opends.server.loggers.ErrorLogger.removeErrorLogPublisher;
import org.opends.server.protocols.asn1.ASN1Exception;
@@ -233,6 +234,15 @@
      return 1;
    }
    try
    {
      argParser.getArguments().initArgumentsWithConfiguration();
    }
    catch (ConfigException ce)
    {
      // Ignore.
    }
    // Parse the command-line arguments provided to this program.
    try {
      argParser.parseArguments(args);