Skip to main content

pre_dispatch_read_for_agent

lean_ctx::server::context_gate

Function pre_dispatch_read_for_agent 

Source 
pub fn pre_dispatch_read_for_agent(
    path: &str,
    requested_mode: &str,
    task: Option<&str>,
    project_root: Option<&str>,
    pressure: Option<&PressureAction>,
    agent_id: Option<&str>,
) -> PreDispatchResult