From 5aab183973e4880aaf91c3b276bc2bfa01e87b6d Mon Sep 17 00:00:00 2001
From: Andrew Arnott <andrewarnott@live.com>
Date: Mon, 4 Aug 2025 16:28:52 -0600
Subject: [PATCH] Improve performance of `WebSocketMessageHandler`

Fixes #1234
---
 src/StreamJsonRpc/WebSocketMessageHandler.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/StreamJsonRpc/WebSocketMessageHandler.cs b/src/StreamJsonRpc/WebSocketMessageHandler.cs
index 66348a5bd..e2671802e 100644
--- a/src/StreamJsonRpc/WebSocketMessageHandler.cs
+++ b/src/StreamJsonRpc/WebSocketMessageHandler.cs
@@ -138,7 +138,7 @@ protected override async ValueTask WriteCoreAsync(JsonRpcMessage content, Cancel
     {
         Requires.NotNull(content, nameof(content));
 
-        using (var contentSequenceBuilder = new Sequence<byte>())
+        using (var contentSequenceBuilder = new Sequence<byte>(ArrayPool<byte>.Shared) { MinimumSpanLength = this.sizeHint })
         {
             WebSocketMessageType messageType = this.Formatter is IJsonRpcMessageTextFormatter ? WebSocketMessageType.Text : WebSocketMessageType.Binary;
             this.Formatter.Serialize(contentSequenceBuilder, content);