mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/tools/VerifyIndex.java @@ -168,7 +168,7 @@ // If we should just display usage information, then print it and exit. if (displayUsage.isPresent()) if (argParser.usageDisplayed()) { System.exit(0); }