rhg: handle broken pipe error for stderr
authorAntoine Cezar <antoine.cezar@octobus.net>
Fri, 24 Jul 2020 10:34:04 +0200
changeset 45367 53af26aa5951
parent 45366 10c36ead86f8
child 45368 d71693f799a0
rhg: handle broken pipe error for stderr Differential Revision: https://phab.mercurial-scm.org/D8871
rust/rhg/src/ui.rs
--- a/rust/rhg/src/ui.rs	Fri Jul 24 17:24:10 2020 +0200
+++ b/rust/rhg/src/ui.rs	Fri Jul 24 10:34:04 2020 +0200
@@ -49,7 +49,7 @@
             .write_all(bytes)
             .or_else(|e| handle_stderr_error(e))?;
 
-        stderr.flush().or_else(|e| Err(UiError::StderrError(e)))
+        stderr.flush().or_else(|e| handle_stderr_error(e))
     }
 }
 
@@ -94,3 +94,13 @@
 
     Err(UiError::StdoutError(error))
 }
+
+/// Sometimes writing to stderr is not possible.
+fn handle_stderr_error(error: io::Error) -> Result<(), UiError> {
+    // A broken pipe should not result in a error
+    // like with `| head` for example
+    if let ErrorKind::BrokenPipe = error.kind() {
+        return Ok(());
+    }
+    Err(UiError::StdoutError(error))
+}