josedario87
c98f3e2b99
- Add torch WebSocket server on port 4106 - Remove HTTP polling, use WebSocket for instant sync - Torch state changes broadcast immediately to all clients - Auto-reconnect on disconnect - Add port 4106 to kill-ports script
19 lines
598 B
TypeScript
19 lines
598 B
TypeScript
// Server configuration
|
|
export const PORT_HTTP = 4101
|
|
export const PORT_TERMINAL = 4103
|
|
export const PORT_GIT = 4105
|
|
export const PORT_TORCH = 4106
|
|
|
|
// Terminal configuration
|
|
export const WORKING_DIR = process.cwd().replace(/[\\\/]server$/, '')
|
|
export const SHELL = process.platform === 'win32' ? 'powershell.exe' : 'bash'
|
|
export const SHELL_ARGS = process.platform === 'win32' ? ['-NoLogo', '-NoProfile'] : []
|
|
export const DEFAULT_SESSION_ID = 'main'
|
|
export const MAX_BUFFER_LINES = 10000
|
|
|
|
// Database
|
|
export const DB_PATH = 'agent-ui.db'
|
|
|
|
// Recordings
|
|
export const RECORDINGS_DIR = 'recordings'
|