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

jvergara
04.20.2009 aa09acea1d63383816178c2d4cd9637a8cce9721
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.