From ff33ea3a4844e322a53cac7d24ce408fff38ec22 Mon Sep 17 00:00:00 2001
From: dakkar <dakkar@thenautilus.net>
Date: Sat, 25 Jan 2020 16:11:18 +0000
Subject: don't die if the other end closes the socket

---
 lib/MaildirIndexer/Server.rakumod | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/lib/MaildirIndexer/Server.rakumod b/lib/MaildirIndexer/Server.rakumod
index 07dfb4a..b1b2016 100644
--- a/lib/MaildirIndexer/Server.rakumod
+++ b/lib/MaildirIndexer/Server.rakumod
@@ -25,6 +25,13 @@ method serve() {
                 with parse-email($conn) -> $email {
                     with $.store.mailbox-for-email($email) -> $mailbox {
                         await $conn.print("$mailbox\x0d\x0a");
+                        # apparently socket failures ("broken pipe",
+                        # "Cannot write to a closed socket") are
+                        # X::AdHoc
+                        CATCH {
+                            when X::OS { }; when X::AdHoc { };
+                            default { .rethrow }
+                        }
                     }
                 }
             }
-- 
cgit v1.2.3