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

lutoff
15.10.2007 184ed890c828220c114f60ee165ce2230ada3d7c
opends/src/server/org/opends/server/tools/ListBackends.java
@@ -221,9 +221,9 @@
    }
    // If we should just display usage information, then it's already been done
    // so just return.
    if (argParser.usageDisplayed())
    // If we should just display usage or version information,
    // then it's already been done so just return.
    if (argParser.usageOrVersionDisplayed())
    {
      return 0;
    }