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

lutoff
15.10.2007 184ed890c828220c114f60ee165ce2230ada3d7c
opends/src/server/org/opends/server/tools/LDIFDiff.java
@@ -215,8 +215,9 @@
    }
    // If we should just display usage information, then print it and exit.
    if (argParser.usageDisplayed())
    // If we should just display usage or version information,
    // then print it and exit.
    if (argParser.usageOrVersionDisplayed())
    {
      return 0;
    }