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

jvergara
26.13.2007 c0e776c195406d5bd83fdd683ac73c56fcc8a93f
opendj-sdk/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;