Plasma GitLab Archive
Projects Blog Knowledge

Class Uq_engines.receiver


class receiver : src:Unix.file_descr -> dst:#async_out_channel -> ?close_src:bool -> ?close_dst:bool -> Unixqueue.event_system -> [unit] engine
This engine copies all data from the src file descriptor to the dst output channel. 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 src 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