From d4c18ad1a400f0860cf1d58b67c5258fdb23a83a Mon Sep 17 00:00:00 2001
From: Olivier Mangin <olivier@mangin.com>
Date: Thu, 11 May 2017 15:34:14 -0400
Subject: [PATCH] Fixes #49.

---
 pubs/pubs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pubs/pubs b/pubs/pubs
index 41520ff..de96fe2 100755
--- a/pubs/pubs
+++ b/pubs/pubs
@@ -7,7 +7,7 @@ from pubs import pubs_cmd
 
 try:
     pubs_cmd.execute()
-except IOError:
+except BrokenPipeError:
     # stdout or stderr has been closed, cleaning up
     try:
         sys.stdout.close()