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

neil_a_wilson
05.46.2007 8f5c232ab629b7aa83c5a1d4eff9648874a0c9ca
opends/src/server/org/opends/server/tools/ConfigureDS.java
@@ -135,7 +135,7 @@
    int exitCode = configMain(args);
    if (exitCode != 0)
    {
      System.exit(exitCode);
      System.exit(filterExitCode(exitCode));
    }
  }