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

neil_a_wilson
05.46.2007 8f5c232ab629b7aa83c5a1d4eff9648874a0c9ca
opends/src/server/org/opends/server/tools/VerifyIndex.java
@@ -58,7 +58,6 @@
import static org.opends.server.messages.MessageHandler.*;
import static org.opends.server.util.ServerConstants.*;
import static org.opends.server.util.StaticUtils.*;
import org.opends.server.util.StaticUtils;
import static org.opends.server.tools.ToolConstants.*;
import org.opends.server.admin.std.server.BackendCfg;
@@ -88,7 +87,7 @@
    if(retCode != 0)
    {
      System.exit(retCode);
      System.exit(filterExitCode(retCode));
    }
  }
@@ -357,7 +356,7 @@
    catch(Exception e)
    {
      System.err.println("Error installing the custom error logger: " +
          StaticUtils.stackTraceToSingleLineString(e));
                         stackTraceToSingleLineString(e));
    }