(sessionId: string, cols: number, rows: number)
| 567 | |
| 568 | writeInput(sessionId: string, data: string): void { |
| 569 | this.runtimeCoordinator.writeInput(sessionId, data); |
| 570 | } |
| 571 | |
| 572 | resize(sessionId: string, cols: number, rows: number): void { |
| 573 | this.runtimeCoordinator.resize(sessionId, cols, rows); |
| 574 | } |
| 575 | |
| 576 | /** Close all runtime driver sessions during graceful server shutdown. */ |