Package com.io7m.idstore.server.admin_v1
Class IdA1ServletHealth
java.lang.Object
jakarta.servlet.GenericServlet
jakarta.servlet.http.HttpServlet
com.io7m.idstore.server.http.IdHTTPServletFunctional
com.io7m.idstore.server.admin_v1.IdA1ServletHealth
- All Implemented Interfaces:
jakarta.servlet.Servlet,jakarta.servlet.ServletConfig,Serializable
The v1 health servlet.
- See Also:
-
Constructor Summary
ConstructorsConstructorDescriptionIdA1ServletHealth(com.io7m.repetoir.core.RPServiceDirectoryType services) The v1 health servlet. -
Method Summary
Methods inherited from class com.io7m.idstore.server.http.IdHTTPServletFunctional
service, serviceMethods inherited from class jakarta.servlet.http.HttpServlet
doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModifiedMethods inherited from class jakarta.servlet.GenericServlet
destroy, getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, init, init, log, log
-
Constructor Details
-
IdA1ServletHealth
public IdA1ServletHealth(com.io7m.repetoir.core.RPServiceDirectoryType services) The v1 health servlet.- Parameters:
services- The services
-