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];