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.

Sign up for GitHub

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

Jump to bottom

Feature Request: Allow setting the standard streams of Unix.create_process with optional arguments. #138

Open
ninjaaron opened this issue Mar 27, 2020 · 0 comments
Open

Feature Request: Allow setting the standard streams of Unix.create_process with optional arguments. #138

ninjaaron opened this issue Mar 27, 2020 · 0 comments
Labels
forwarded-to-js-devs This report has been forwarded to Jane Street's internal review system.

Comments

@ninjaaron
Copy link

While it is convenient that Unix.create_process creates default pipes for the user, it would be even more convenient if they could optionally be set to something else, in case the user would like to connect them directly to another open file descriptor or the standard streams of the parent process.

I'd be glad to make a PR if that's appropriate.
@github-iron github-iron added the forwarded-to-js-devs This report has been forwarded to Jane Street's internal review system. label Sep 9, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
forwarded-to-js-devs This report has been forwarded to Jane Street's internal review system.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ninjaaron @github-iron