Skip to main content

read_log

lean_ctx::core::debug_log

Function read_log 

Source 
pub fn read_log(tail_lines: usize) -> String
Expand description

Return the log content for display (most-recent tail_lines, 0 = all).