From 7c3a0728570f84f5c7d5f396c5a5d5c11f5fb661 Mon Sep 17 00:00:00 2001 From: "Somhairle H. Marisol" Date: Mon, 21 Sep 2026 21:04:01 +0800 Subject: feat(ui): remove masthead connection readout and its dead state plumbing --- src/SomhairlesDream.Frontend/App.fs | 9 --------- 1 file changed, 9 deletions(-) (limited to 'src') diff --git a/src/SomhairlesDream.Frontend/App.fs b/src/SomhairlesDream.Frontend/App.fs index 3665c43..82bae88 100644 --- a/src/SomhairlesDream.Frontend/App.fs +++ b/src/SomhairlesDream.Frontend/App.fs @@ -630,9 +630,6 @@ let updateState (payload: SnapshotPayload) = else showFrameMetadata frame -let updateStreamState message = - setText "stream-state" message - let startPlaceholderPlayback () = replayIndex <- 0 setText "replay-button" "暂停占位演示" @@ -712,9 +709,7 @@ let connectToServer (selection: RunSelection) = source.onmessage <- fun event -> let payload = JS.JSON.parse(event.data) :?> SnapshotPayload updateState payload - updateStreamState "实时链路 · SSE 已连接" - source.onerror <- fun _ -> updateStreamState "实时链路 · 等待自动重连" let inputValue id = (element id :?> HtmlInput).value @@ -833,7 +828,6 @@ let startRun (selection: RunSelection) = "body" ==> JS.JSON.stringify requestBody ] setText "run-message" "正在启动设计运行" - updateStreamState "实时链路 · 等待服务端确认" async { try @@ -844,7 +838,6 @@ let startRun (selection: RunSelection) = let payload = value :?> SnapshotPayload updateState payload connectToServer selection - updateStreamState "实时链路 · SSE 已连接" elif response.status = 409 then // The run id already exists on the server. If it completed // earlier, replay its published history instead of treating @@ -853,10 +846,8 @@ let startRun (selection: RunSelection) = loadHistoryFor selection else setText "run-message" (sprintf "启动失败 · HTTP %d" response.status) - updateStreamState "实时链路 · 启动失败" with _ -> setText "run-message" "启动失败 · 无法连接服务端" - updateStreamState "实时链路 · 连接失败" } |> Async.StartImmediate -- cgit v1.2.3