UNPKG

@shelltender/server

Version:

Server-side terminal session management for Shelltender

23 lines 966 B
import { SessionManager } from '../SessionManager.js'; import { BufferManager } from '../BufferManager.js'; import { EventManager } from '../events/EventManager.js'; import { TerminalDataPipeline } from '../TerminalDataPipeline.js'; import { WebSocketServer } from '../WebSocketServer.js'; import { SessionStore } from '../SessionStore.js'; export declare class PipelineIntegration { private pipeline; private sessionManager; private bufferManager; private wsServer; private sessionStore; private eventManager?; private unsubscribers; private sessionBufferMap; constructor(pipeline: TerminalDataPipeline, sessionManager: SessionManager, bufferManager: BufferManager, wsServer: WebSocketServer, sessionStore: SessionStore, eventManager?: EventManager | undefined); setup(): void; private debounceSave; private auditLog; private setupMetrics; teardown(): void; } //# sourceMappingURL=PipelineIntegration.d.ts.map