(seq: number, code: number)
| 159 | return { id: "_", seq, name: "stderr", value: new TextEncoder().encode(text) }; |
| 160 | } |
| 161 | function exit(seq: number, code: number): ExecEvent { |
| 162 | return { id: "_", seq, name: "exit", value: code }; |
| 163 | } |
| 164 | |
| 165 | // --------------------------------------------------------------------------- |
| 166 | // exec() — RPC forwarding |