Class type Rpc_server.socket_config

class type socket_config = object .. end

method listen_options : Uq_engines.listen_options

method multiplexing : close_inactive_descr:bool ->
       Rpc.protocol ->
       Unix.file_descr ->
       Unixqueue.event_system ->
       Rpc_transport.rpc_multiplex_controller Uq_engines.engine

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge