Function manualReconnect

src/server/web/terminal.ts:285–292

()

}

function manualReconnect(): void {
  if (reconnectTimer) clearTimeout(reconnectTimer)
  reconnectDelay = RECONNECT_BASE_MS
  ws?.close()
  ws = null
  term.clear()
  connect()
}

// ── Ping / latency ───────────────────────────────────────────────────────────