(seq: number, text: string)
| 153 | |
| 154 | // Convenience: a stream-event with the encoder bytes inlined. |
| 155 | function stdout(seq: number, text: string): ExecEvent { |
| 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 | } |