Fix behavior on broken pipe

This commit is contained in:
sharkdp committed 2019-01-14 10:17:14 +01:00
1 parent 39a83021dc
commit b27ab61608
1 file changed
+2 -2
+2 -2
View File
@@ -271,7 +271,7 @@ fn run() -> Result<(), Box<::std::error::Error>> {
printer.header(); printer.header();
let mut buffer = [0; BUFFER_SIZE]; let mut buffer = [0; BUFFER_SIZE];
loop { 'mainloop: loop {
let size = reader.read(&mut buffer)?; let size = reader.read(&mut buffer)?;
if size == 0 { if size == 0 {
break; break;
@@ -282,7 +282,7 @@ fn run() -> Result<(), Box<::std::error::Error>> {
if res.is_err() { if res.is_err() {
// Broken pipe // Broken pipe
break; break 'mainloop;
} }
} }
} }