exit(1) if writeln! to stdout fails

Author: sharnoff

summarize/src/main.rs

@@ -142,11 +142,15 @@ fn diff(opt: DiffOpt) -> Result<(), Box<dyn Error + Send + Sync>> {
 
     table.printstd();
 
-    _ = writeln!(
+    let res = writeln!(
         std::io::stdout(),
         "Total cpu time: {:?}",
         results.total_time
     );
+    if res.is_err() {
+        // there's something wrong with stdout - give up on writing more
+        std::process::exit(1);
+    }
 
     let mut table = Table::new();
 
@@ -290,18 +294,26 @@ fn summarize(opt: SummarizeOpt) -> Result<(), Box<dyn Error + Send + Sync>> {
 
     table.printstd();
 
-    _ = writeln!(
+    let res = writeln!(
         std::io::stdout(),
         "Total cpu time: {:?}",
         results.total_time
     );
+    if res.is_err() {
+        // there's something wrong with stdout - give up on writing more
+        std::process::exit(1);
+    }
 
     if percent_above != 0.0 {
-        _ = writeln!(
+        let res = writeln!(
             std::io::stdout(),
             "Filtered results account for {:.3}% of total time.",
             percent_total_time
         );
+        if res.is_err() {
+            // there's something wrong with stdout - give up on writing more
+            std::process::exit(1);
+        }
     }
 
     let mut table = Table::new();