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

jvergara
26.13.2007 e7934050009ce7e6f43e2ce7d56c827a23ac287e
opends/src/quicksetup/org/opends/quicksetup/ui/InstallWelcomePanel.java
@@ -71,7 +71,8 @@
    {
      msgKey = "welcome-panel-webstart-instructions";
      args = new String[3];
      String cmd = Utils.isWindows()?"setup.bat":"setup";
      String cmd = Utils.isWindows()?Utils.getWindowsSetupFileName():
          Utils.getUnixSetupFileName();
      args[0] = UIFactory.applyFontToHtml(cmd,
          UIFactory.INSTRUCTIONS_MONOSPACE_FONT);
      args[1] = org.opends.server.util.DynamicConstants.COMPACT_VERSION_STRING;