From 80b8543a50e87461e8d7185fc4fc080259a2397f Mon Sep 17 00:00:00 2001
From: Pavel Savara <pavel.savara@gmail.com>
Date: Mon, 15 Jul 2024 13:52:29 +0200
Subject: [PATCH] improve https://github.com/dotnet/runtime/issues/101618
 (#1231)

---
 .../Commands/WASM/Browser/WasmBrowserTestRunner.cs           | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/Microsoft.DotNet.XHarness.CLI/Commands/WASM/Browser/WasmBrowserTestRunner.cs b/src/Microsoft.DotNet.XHarness.CLI/Commands/WASM/Browser/WasmBrowserTestRunner.cs
index 5e37d0e96..ef9d8a79b 100644
--- a/src/Microsoft.DotNet.XHarness.CLI/Commands/WASM/Browser/WasmBrowserTestRunner.cs
+++ b/src/Microsoft.DotNet.XHarness.CLI/Commands/WASM/Browser/WasmBrowserTestRunner.cs
@@ -188,6 +188,11 @@ private async Task RunConsoleMessagesPump(WebSocket socket, CancellationToken to
                 }
             }
         }
+        catch (WebSocketException wse)
+        {
+            // this could happen when WebWorker is closed or when browser died
+            _logger.LogDebug($"RunConsoleMessagesPump failed: {wse}");
+        }
         catch (OperationCanceledException oce)
         {
             if (!token.IsCancellationRequested)