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