Merge branch 'master' into feature/api-mpfr

1 files changed, 4 insertions, 1 deletions

diff --git a/main.c b/main.c
index 4f578d3e..73e63448 100644
--- a/main.c
+++ b/main.c
@@ -633,7 +633,10 @@ By default it reads standard input and writes standard output.\n\n"), fp);
 				warning(_("error writing standard output (%s)"), strerror(errno));
 			else if (fp == stderr)
 				warning(_("error writing standard error (%s)"), strerror(errno));
-		}
+		} else if (errno == SIGPIPE)
+			die_via_sigpipe();
+
+		// some other problem than SIGPIPE
 		exit(EXIT_FAILURE);
 	}