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

neil_a_wilson
05.46.2007 8f5c232ab629b7aa83c5a1d4eff9648874a0c9ca
opends/src/server/org/opends/server/tools/dsconfig/DSConfig.java
@@ -109,7 +109,7 @@
    // Run the application.
    int exitCode = app.run(args);
    if (exitCode != 0) {
      System.exit(exitCode);
      System.exit(filterExitCode(exitCode));
    }
  }