From 31242f14ca96aef8da9c935822f925e13c75e870 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 19 Aug 2021 15:48:57 -0400
Subject: [PATCH] Repair websocket end-of-stream

---
 syndicate-server/src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/syndicate-server/src/main.rs b/syndicate-server/src/main.rs
index 5d3e0d8..eede9fc 100644
--- a/syndicate-server/src/main.rs
+++ b/syndicate-server/src/main.rs
@@ -138,7 +138,7 @@ fn extract_binary_packets(
             Message::Pong(_) =>
                 Ok(None), // unsolicited pongs are to be ignored
             Message::Close(_) =>
-                Err("EOF")?,
+                Ok(None), // we're about to see the end of the stream, so ignore this
         },
         Err(e) => Err(message_error(e)),
     }