Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Streaming logs and IO streams to the client #30

Open
c42f opened this issue Jan 7, 2022 · 0 comments
Open

Streaming logs and IO streams to the client #30

c42f opened this issue Jan 7, 2022 · 0 comments

Comments

@c42f
Copy link
Collaborator

c42f commented Jan 7, 2022

Ideally we'd send logs and IO stream side effects over the RemoteREPL channel as they happen rather than buffering them in the server until the command is done executing. This would be especially helpful for long-running commands.

As part of this, it would be helpful if @remote(stdout) would forward a more faithful stdout-like object to the server so that redirect_stdout would work, making it easier to get the desired client-centric behavior mentioned in #29:

redirect_stdout(@remote(stdout)) do
    println("hi")
end

Completely stateful redirection such as

redirect_stdout(@remote(stdout))

would also be helpful as it should solve part of #15

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant