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

lutoff
15.10.2007 184ed890c828220c114f60ee165ce2230ada3d7c
opends/src/server/org/opends/server/plugins/profiler/ProfileViewer.java
@@ -159,8 +159,9 @@
    }
    // If we should just display usage information, then print it and exit.
    if (argParser.usageDisplayed())
    // If we should just display usage or versionn information,
    // then print it and exit.
    if (argParser.usageOrVersionDisplayed())
    {
      System.exit(0);
    }