(seq: number, text: string)
| 156 | return { id: "_", seq, name: "stdout", value: new TextEncoder().encode(text) }; |
| 157 | } |
| 158 | function stderr(seq: number, text: string): ExecEvent { |
| 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 | } |