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

neil_a_wilson
09.06.2007 ffe22a5579efd579ab1866781286d99ca7651995
opendj-sdk/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);
    }