Skip to main content

pre_dispatch_read

lean_ctx::server::context_gate

Function pre_dispatch_read 

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