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

kenneth_suter
11.03.2007 cdbc34e17d6e27a206ded5ad5ea8e3529b427d4b
opends/src/quicksetup/org/opends/quicksetup/Launcher.java
@@ -338,16 +338,18 @@
  }
  private void preExit(CliApplication cliApp) {
    UserData ud = cliApp.getUserData();
    if (ud != null && !ud.isSilent()) {
    if (cliApp != null) {
      UserData ud = cliApp.getUserData();
      if (ud != null && !ud.isSilent()) {
      // Add an extra space systematically
      System.out.println();
        // Add an extra space systematically
        System.out.println();
      File logFile = QuickSetupLog.getLogFile();
      if (logFile != null) {
        System.out.println(getMsg("general-see-for-details",
              QuickSetupLog.getLogFile().getPath()));
        File logFile = QuickSetupLog.getLogFile();
        if (logFile != null) {
          System.out.println(getMsg("general-see-for-details",
                QuickSetupLog.getLogFile().getPath()));
        }
      }
    }
  }