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

Wish: Increase UNIX_BUFFER_SIZE #5586

Closed
vicuna opened this issue Apr 12, 2012 · 3 comments
Closed

Wish: Increase UNIX_BUFFER_SIZE #5586

vicuna opened this issue Apr 12, 2012 · 3 comments
Assignees
Milestone

Comments

@vicuna
Copy link

vicuna commented Apr 12, 2012

Original bug ID: 5586
Reporter: @dbuenzli
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2015-12-11T18:04:42Z)
Resolution: fixed
Priority: normal
Severity: feature
Version: 3.12.1
Target version: 4.00.0+dev
Fixed in version: 4.00.0+dev
Category: otherlibs
Monitored by: mehdi

Bug description

This is related to #5501 but since it was closed I cannot comment on it. The value of UNIX_BUFFER_SIZE could be matched to the one of IO_BUFFER_SIZE.

@vicuna
Copy link
Author

vicuna commented Apr 12, 2012

Comment author: @gasche

Off-topic remark: I am one of the "little hands" that have enough rights on the bugtracker to help bug triaging. Next time you encounter an obvious administrative glitch such as "this was likely closed for no strong reason and should rather be 'resolved' so we can comment on it", do not hesitate to email me directly (gabriel dot scherer at gmail) to have it fixed.

@vicuna
Copy link
Author

vicuna commented Apr 13, 2012

Comment author: @xavierleroy

Sounds very reasonable. To be implemented as suggested.

@vicuna
Copy link
Author

vicuna commented May 28, 2012

Comment author: @alainfrisch

Fixed in version 4.00 (commit 12488) and trunk (commit 12487).

@vicuna vicuna closed this as completed Dec 11, 2015
@vicuna vicuna added this to the 4.00.0 milestone Mar 14, 2019
dra27 pushed a commit to dra27/ocaml that referenced this issue Feb 27, 2021
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