| 14 | } |
| 15 | |
| 16 | export interface DockgeSocket extends Socket { |
| 17 | userID: number; |
| 18 | consoleTerminal? : Terminal; |
| 19 | instanceManager : AgentManager; |
| 20 | endpoint : string; |
| 21 | emitAgent : (eventName : string, ...args : unknown[]) => void; |
| 22 | } |
| 23 | |
| 24 | // For command line arguments, so they are nullable |
| 25 | export interface Arguments { |
nothing calls this directly
no outgoing calls
no test coverage detected