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

neil_a_wilson
09.06.2007 4915128605a07d7c82fda681596d4da9746e3f97
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);
    }