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

lutoff
01.31.2007 31aab4e99942d2582ab17fa70dcb4f9e7e852e11
opends/src/server/org/opends/server/tools/ToolConstants.java
@@ -605,6 +605,23 @@
  public static final String OPTION_VALUE_SERVERID = "{serverID}";
  /**
   * The value for the short option userID attributes.
   */
  public static final String OPTION_SHORT_USERID = null;
  /**
   * The value for the long option userID
   * attribute.
   */
  public static final String OPTION_LONG_USERID= "userID";
  /**
   * The placeholder value of userID that will be
   * displayed in usage information.
   */
  public static final String OPTION_VALUE_USERID = "{userID}";
  /**
   * The value for the short option set.
   */
  public static final Character OPTION_SHORT_SET = null;