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

jvergara
04.20.2009 6bdb4191e4280a29225529e3ab2d4aedf8329813
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/task/Task.java
@@ -974,19 +974,8 @@
  /**
   * The separator used to link the lines of the resulting command-lines.
   */
  private final static String LINE_SEPARATOR;
  static
  {
    if (SetupUtils.isWindows())
    {
      LINE_SEPARATOR = " ";
    }
    else
    {
      LINE_SEPARATOR =
   "&nbsp;\\<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;";
    }
  }
  private final static String LINE_SEPARATOR =
    CommandBuilder.HTML_LINE_SEPARATOR;
  /**
   * Returns the equivalent command line in HTML without font properties.