Repair live server operations console

2026-08-03 11:21:07 +08:00
parent 9f82e310b2
commit 1d5fb586d0
16 changed files with 594 additions and 134 deletions
@@ -143,11 +143,12 @@ export interface PlatformOverviewSignal {
  at: string;
 }

-export type ServerDetailSection = "overview" | "logs" | "config" | "plugins" | "llm" | "history";
+export type ServerDetailSection = "logs" | "terminal" | "runtime" | "config" | "plugins" | "llm" | "history";

 export const serverDetailSections: Array<{ id: ServerDetailSection; label: string }> = [
-  { id: "overview", label: "概览" },
  { id: "logs", label: "日志" },
+  { id: "terminal", label: "管理终端" },
+  { id: "runtime", label: "运行操作" },
  { id: "config", label: "配置" },
  { id: "plugins", label: "插件控制" },
  { id: "llm", label: "AI 助手" },