Plasma GitLab Archive
Projects Blog Knowledge

Class Netchannels.buffered_raw_out_channel

class buffered_raw_out_channel : ?buffer_size:int -> ?pass_through:int -> raw_out_channel -> raw_out_channel
This class adds a buffer to the underlying raw_out_channel.

buffer_size : The size of the buffer, by default 4096.
pass_through : If the write request has at least this size, and the buffer is currently empty, the buffer will be bypassed. Defaults to max_int, i.e. it is off.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml