From 3c88d845a88d85edb6ae9b57e8a959d32b5fa6b0 Mon Sep 17 00:00:00 2001
From: Bob Farrell <git@bob.frl>
Date: Mon, 29 Apr 2024 18:58:07 +0100
Subject: [PATCH] Catch error.BrokenPipe and close connection

Users have reported this error occurring occasionally, close connection
and continue processing requests when it occurs.
---
 src/jetzig/http/Server.zig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jetzig/http/Server.zig b/src/jetzig/http/Server.zig
index 17ebbeb..2155546 100644
--- a/src/jetzig/http/Server.zig
+++ b/src/jetzig/http/Server.zig
@@ -312,6 +312,7 @@ fn isBadHttpError(err: anyerror) bool {
         error.MissingFinalNewline,
         error.HttpConnectionClosing,
         error.ConnectionResetByPeer,
+        error.BrokenPipe,
         => true,
         else => false,
     };