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

kenneth_suter
07.06.2007 e08ee9a21301e4607806ff0230eca74d6dc3b13b
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/ui/InstallWelcomePanel.java
@@ -30,6 +30,7 @@
import java.awt.Component;
import org.opends.quicksetup.util.Utils;
import org.opends.quicksetup.Installation;
/**
 * This panel is used to show a welcome message.
@@ -71,8 +72,8 @@
    {
      msgKey = "welcome-panel-webstart-instructions";
      args = new String[3];
      String cmd = Utils.isWindows()?Utils.getWindowsSetupFileName():
          Utils.getUnixSetupFileName();
      String cmd = Utils.isWindows()? Installation.WINDOWS_SETUP_FILE_NAME:
          Installation.UNIX_SETUP_FILE_NAME;
      args[0] = UIFactory.applyFontToHtml(cmd,
          UIFactory.INSTRUCTIONS_MONOSPACE_FONT);
      args[1] = org.opends.server.util.DynamicConstants.COMPACT_VERSION_STRING;