mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
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)); } }