From b27ab6160886056f250c34a77c62742c7d57aec9 Mon Sep 17 00:00:00 2001
From: sharkdp <davidpeter@web.de>
Date: Mon, 14 Jan 2019 10:17:14 +0100
Subject: [PATCH] Fix behavior on broken pipe

---
 src/main.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index 4b743bc..221ddee 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -271,7 +271,7 @@ fn run() -> Result<(), Box<::std::error::Error>> {
     printer.header();
 
     let mut buffer = [0; BUFFER_SIZE];
-    loop {
+    'mainloop: loop {
         let size = reader.read(&mut buffer)?;
         if size == 0 {
             break;
@@ -282,7 +282,7 @@ fn run() -> Result<(), Box<::std::error::Error>> {
 
             if res.is_err() {
                 // Broken pipe
-                break;
+                break 'mainloop;
             }
         }
     }