Plasma GitLab Archive
Projects Blog Knowledge

Class Uq_engines.sender

class sender : src:#async_in_channel -> dst:Unix.file_descr -> ?close_src:bool -> ?close_dst:bool -> Unixqueue.event_system -> [unit] engine
This engine copies all data from the src input channel to the dst file descriptor. The engine attaches immediately to the event system, and detaches automatically.

By default, both the file descriptor and the output channel are closed when the engine stops operation, either successfully or because of an error.

The semantics of the engine is undefined if dst is not a stream-oriented descriptor.

The engine goes to `Error state when either reading from src or writing to dst raises an unexpected exception.

TODO: This class cannot yet cope with Win32 named piped.

close_src : Whether to close src when the engine stops (default: true)
close_dst : Whether to close dst when the engine stops (default: true)

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