fix: shorten doctor gateway health timeout in non-interactive

src/commands/doctor-gateway-health.ts

@@ -6,11 +6,16 @@ import { note } from "../terminal/note.js";
 import { healthCommand } from "./health.js";
 import { formatHealthCheckFailure } from "./health-format.js";
 
-export async function checkGatewayHealth(params: { runtime: RuntimeEnv; cfg: ClawdbotConfig }) {
+export async function checkGatewayHealth(params: {
+  runtime: RuntimeEnv;
+  cfg: ClawdbotConfig;
+  timeoutMs?: number;
+}) {
   const gatewayDetails = buildGatewayConnectionDetails({ config: params.cfg });
+  const timeoutMs = typeof params.timeoutMs === "number" && params.timeoutMs > 0 ? params.timeoutMs : 10_000;
   let healthOk = false;
   try {
-    await healthCommand({ json: false, timeoutMs: 10_000 }, params.runtime);
+    await healthCommand({ json: false, timeoutMs }, params.runtime);
     healthOk = true;
   } catch (err) {
     const message = String(err);

src/commands/doctor.ts

@@ -233,7 +233,11 @@ export async function doctorCommand(
 
   noteWorkspaceStatus(cfg);
 
-  const { healthOk } = await checkGatewayHealth({ runtime, cfg });
+  const { healthOk } = await checkGatewayHealth({
+    runtime,
+    cfg,
+    timeoutMs: options.nonInteractive === true ? 3000 : 10_000,
+  });
   await maybeRepairGatewayDaemon({
     cfg,
     runtime,