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

kenneth_suter
06.06.2007 15f4c4af976c56c76be7f45d306618f56157461c
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/util/ServerHealthChecker.java
@@ -29,6 +29,7 @@
import org.opends.quicksetup.Installation;
import org.opends.quicksetup.ApplicationException;
import org.opends.quicksetup.i18n.ResourceProvider;
import org.opends.server.util.ServerConstants;
import java.util.List;
@@ -85,7 +86,8 @@
        throw (ApplicationException)e;
      } else {
        throw new ApplicationException(ApplicationException.Type.APPLICATION,
                "Server health check failed: " + e.getLocalizedMessage(), e);
                ResourceProvider.getInstance().getMsg(
                        "error-server-health-check-failure"), e);
      }
    } finally {
      if (control != null) {