From 44f0b4a44ba6fc6e13c4289b52e16707a80e4777 Mon Sep 17 00:00:00 2001 From: npc0-hue Date: Fri, 4 Sep 2026 14:41:21 +0800 Subject: [PATCH] Render log entries without content classification --- .../components/ServerManagementTerminalDrawer.tsx | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/platform_web/components/ServerManagementTerminalDrawer.tsx b/platform_web/components/ServerManagementTerminalDrawer.tsx index 20b54c9..549da58 100644 --- a/platform_web/components/ServerManagementTerminalDrawer.tsx +++ b/platform_web/components/ServerManagementTerminalDrawer.tsx @@ -342,7 +342,7 @@ function TerminalStatusLine({ tone, label, serverTime }: { tone: "info" | "warn" function terminalLineFromLog(stream: LogStreamResponse, entry: LogEntryBody): TerminalLine { return { id: `log-${stream.id}-${entry.seq}`, - tone: terminalTone(entry), + tone: "info", text: entry.line, at: formatTerminalLogTime(entry.timestamp), sortKey: Date.parse(entry.timestamp) || Date.now(), @@ -381,13 +381,6 @@ function eventBelongsToLiveSession(eventSessionId: string | undefined, liveSessi return Boolean(normalizedEventSessionId && normalizedEventSessionId === liveSessionId); } -function terminalTone(entry: LogEntryBody): TerminalLine["tone"] { - // Log bodies are plugin-owned opaque content. The platform/browser must not - // inspect text to infer severity or derive a typed result from it. - void entry; - return "info"; -} - function mergeTerminalLines(current: TerminalLine[], incoming: TerminalLine[]): TerminalLine[] { const seen = new Set(current.map((line) => line.id)); const merged = [...current];