improve dotnet/runtime#101618 (#1231)

dotnet · Jul 15, 2024 · 80b8543 · 80b8543
1 parent 2c5fdbe
commit 80b8543
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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)