Skip to main content

register_shell_runner

lean_ctx::core::protected_execution

Function register_shell_runner 

Source 
pub fn register_shell_runner(runner: ShellRunner)
Expand description

Register the shell executor of brokered commands. The first registration wins. Without one, a brokered shell request fails; nothing runs.