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

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