Skip to content
Snippets Groups Projects
Commit afd60048 authored by Cheng Shao's avatar Cheng Shao :beach:
Browse files

wasm: support wasi console redirect for the ghci browser mode

This commit adds optional support for redirecting wasi console
stdout/stderr back to the host when running wasm ghci browser mode. By
default, the wasi console outputs are only available under F12
devtools console, but in case of testing against a mobile browser, the
devtools console may not be readily available, and it would be more
convenient to at least get wasi console output on the host side.

The redirection logic is simple, just adding another two WebSockets
connections that pump the line-buffered textual messages back to
host.

(cherry picked from commit ad7e271d)
parent 760cb5f9
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment