Skip to main content

Module runtime

lean_ctx::core::ocla

Module runtime 

Source
Expand description

Self-contained lifecycle runtime for the OCLA REST API.

Structsยง

OclaRuntime
Owns the OCLA REST server task and its graceful-shutdown signal.