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

neil_a_wilson
09.06.2007 ffe22a5579efd579ab1866781286d99ca7651995
opendj-sdk/opends/src/server/org/opends/server/plugins/profiler/ProfileViewer.java
@@ -160,7 +160,7 @@
    // If we should just display usage information, then print it and exit.
    if (displayUsage.isPresent())
    if (argParser.usageDisplayed())
    {
      System.exit(0);
    }