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

jvergara
24.41.2007 74a8448e45dbeba4803e92851f8a3023e038509b
opends/src/statuspanel/org/opends/statuspanel/StatusPanelController.java
@@ -178,6 +178,7 @@
   */
  public void quitClicked()
  {
    serverStatusPooler.stopPooling();
    System.exit(0);
  }