mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/tools/StopDS.java @@ -136,7 +136,7 @@ if (result != LDAPResultCode.SUCCESS) { System.exit(result); System.exit(filterExitCode(result)); } }