Package org.mapfish.print.metrics

Class HealthCheckRegistryContextListener

java.lang.Object

io.dropwizard.metrics.servlets.HealthCheckServlet.ContextListener

org.mapfish.print.metrics.HealthCheckRegistryContextListener

All Implemented Interfaces:

jakarta.servlet.ServletContextListener, EventListener

public class HealthCheckRegistryContextListener
extends io.dropwizard.metrics.servlets.HealthCheckServlet.ContextListener

Allows the AdminServlet to get access to the MetricRegistry so it can display the statistics via the admin servlet.

Constructor Summary

Constructors

Constructor	Description
HealthCheckRegistryContextListener()

Method Summary

Modifier and Type	Method	Description
final void	contextInitialized(jakarta.servlet.ServletContextEvent event)
protected final com.codahale.metrics.health.HealthCheckRegistry	getHealthCheckRegistry()

Methods inherited from class io.dropwizard.metrics.servlets.HealthCheckServlet.ContextListener

contextDestroyed, getExecutorService, getHealthCheckFilter, getObjectMapper

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

HealthCheckRegistryContextListener

public HealthCheckRegistryContextListener()

Method Details

contextInitialized

public final void contextInitialized(jakarta.servlet.ServletContextEvent event)

Specified by:

contextInitialized in interface jakarta.servlet.ServletContextListener

Overrides:

contextInitialized in class io.dropwizard.metrics.servlets.HealthCheckServlet.ContextListener

getHealthCheckRegistry

protected final com.codahale.metrics.health.HealthCheckRegistry getHealthCheckRegistry()

Specified by:

getHealthCheckRegistry in class io.dropwizard.metrics.servlets.HealthCheckServlet.ContextListener