io.vertx.core.Handler<io.vertx.ext.web.RoutingContext> |
VertxHttpRecorder.createBodyHandler(HttpConfiguration httpConfiguration) |
void |
VertxHttpRecorder.finalizeRouter(io.quarkus.arc.runtime.BeanContainer container,
Consumer<io.vertx.ext.web.Route> defaultRouteHandler,
List<Filter> filterList,
Supplier<io.vertx.core.Vertx> vertx,
RuntimeValue<io.vertx.ext.web.Router> runtimeValue,
String rootPath,
LaunchMode launchMode,
boolean requireBodyHandler,
io.vertx.core.Handler<io.vertx.ext.web.RoutingContext> bodyHandler,
HttpConfiguration httpConfiguration,
GracefulShutdownFilter gracefulShutdownFilter,
ShutdownConfig shutdownConfig) |
void |
VertxHttpRecorder.startServer(Supplier<io.vertx.core.Vertx> vertx,
ShutdownContext shutdown,
HttpConfiguration httpConfiguration,
LaunchMode launchMode,
boolean startVirtual,
boolean startSocket,
Supplier<Integer> ioThreads,
String websocketSubProtocols) |
void |
VertxHttpRecorder.warnIfPortChanged(HttpConfiguration config,
int port) |