1 2 3 4 5 6 7 8 9 10 11 12 13 14
use std::io; use std::io::Error; fn main() { if let Err(e) = jlf::run() { if let Some(ioe) = e.root_cause().downcast_ref::<Error>() { if ioe.kind() == io::ErrorKind::BrokenPipe { // Exit cleanly if the pipe reader disconnected std::process::exit(0); } } eprintln!("{e:?}"); } }