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

Mirror IO_BUFFER_SIZE and UNIX_BUFFER_SIZE in the stdlib and unix lib #5938

Closed
vicuna opened this issue Mar 4, 2013 · 2 comments
Closed

Comments

@vicuna
Copy link

vicuna commented Mar 4, 2013

Original bug ID: 5938
Reporter: @dbuenzli
Assigned to: @alainfrisch
Status: resolved (set by @alainfrisch on 2016-12-07T17:20:51Z)
Resolution: suspended
Priority: normal
Severity: feature
Version: 4.00.1
Category: standard library
Monitored by: @dbuenzli

Bug description

I think it would be nice to have something like:

Sys.io_buffer_size : int
Unix.io_buffer_size : int

so that we can adjust the size of our buffers to those of the runtime system without having to hardcode values.

Thanks.

@vicuna
Copy link
Author

vicuna commented Dec 7, 2016

Comment author: @alainfrisch

@dbuenzli : would you still find this useful? If so, feel free to open a PR. I'm personally in favor.

@vicuna vicuna closed this as completed Dec 7, 2016
@vicuna
Copy link
Author

vicuna commented Dec 7, 2016

Comment author: @dbuenzli

Yes.

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

No branches or pull requests

2 participants