(reason: string)
| 553 | } |
| 554 | |
| 555 | async resyncController(reason: string) { |
| 556 | dlog("resync controller", this.blockId, reason); |
| 557 | const rtOpts: RuntimeOpts = { termsize: { rows: this.terminal.rows, cols: this.terminal.cols } }; |
| 558 | try { |
| 559 | await RpcApi.ControllerResyncCommand(TabRpcClient, { |
| 560 | tabid: this.tabId, |
| 561 | blockid: this.blockId, |
| 562 | rtopts: rtOpts, |
| 563 | }); |
| 564 | } catch (e) { |
| 565 | console.log(`error controller resync (${reason})`, this.blockId, e); |
| 566 | } |
| 567 | } |
| 568 | |
| 569 | handleResize() { |
| 570 | const oldRows = this.terminal.rows; |
no test coverage detected