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

kenneth_suter
10.16.2007 e85e6d0af6875147e77127f10e0211c014ca28d9
opends/src/quicksetup/org/opends/quicksetup/ui/QuickSetup.java
@@ -41,6 +41,7 @@
import javax.swing.*;
import java.util.logging.Logger;
import java.util.logging.Level;
import java.util.logging.Handler;
import java.util.Map;
/**
@@ -424,9 +425,20 @@
   */
  public void quit()
  {
    LOG.log(Level.INFO, "quitting application");
    flushLogs();
    System.exit(0);
  }
  private void flushLogs() {
    Handler[] handlers = LOG.getHandlers();
    if (handlers != null) {
      for (Handler h : handlers) {
        h.flush();
      }
    }
  }
  /**
   * Launch the QuickSetup application Open DS.
   */