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

kenneth_suter
07.06.2007 10948b56d9da058dde6838e7566c72966fc7856c
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;