Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005938OCamlOCaml generalpublic2013-03-04 09:232013-06-19 20:34
Reporterdbuenzli 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version 
Summary0005938: Mirror IO_BUFFER_SIZE and UNIX_BUFFER_SIZE in the stdlib and unix lib
DescriptionI 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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-03-04 09:23 dbuenzli New Issue
2013-06-19 20:34 doligez Status new => confirmed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker