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

jvergara
04.15.2007 4a48f1cf6caab40fa3741d93f8c825078e4820f2
opends/src/quicksetup/org/opends/quicksetup/upgrader/UpgradeLauncher.java
@@ -121,8 +121,16 @@
  /**
   * {@inheritDoc}
   */
  protected void guiLaunchFailed() {
    System.err.println(getMsg("upgrade-launcher-gui-launched-failed"));
  protected void guiLaunchFailed(String logFilePath) {
    if (logFilePath != null)
    {
      System.err.println(getMsg("upgrade-launcher-gui-launched-failed-details",
          logFilePath));
    }
    else
    {
      System.err.println(getMsg("upgrade-launcher-gui-launched-failed"));
    }
  }
  private UpgradeLauncher(String[] args) {