A | |
accept_into_set [Procord_connection] |
Accept new connections from a socket and add them to a set of
connections.
|
alive [Procord_connection] |
Return whether a connection is alive.
|
B | |
blocking_receive [Procord_protocol] |
Receive a message.
|
blocking_receive_task_name [Procord_protocol] |
Receive a task name.
|
blocking_receive_value [Procord_protocol] |
Receive a serialized value.
|
C | |
close [Procord_connection] |
Close a connection if it is not closed already.
|
close_nicely [Procord_connection.Sync] |
Same as
close_nicely , but wait until the connection is closed.
|
close_nicely [Procord_connection] |
Same as close, but wait until all data is sent first.
|
concat [Procord_rope] |
Rope concatenation.
|
connect [Procord_connection.Sync] |
Same as
connect , but wait until the connection is established.
|
connect [Procord_connection] |
Connect to a server using a socket.
|
custom [Procord_connection] |
Create a connection from custom file descriptors.
|
D | |
data [Procord_connection] |
Get the data associated to a connection.
|
delegate [Procord_process] |
Delegate according to command-line options parsed by
Procord_worker.run .
|
delegate_task_create_process [Procord_process] |
Delegate a task, running it in another process on the current machine.
|
delegate_task_socket [Procord_process] |
Delegate a task, running it in another process on a remote machine.
|
delegated_task_name [Procord_task] |
Get the name of a delegated task.
|
E | |
empty [Procord_rope] |
The empty rope.
|
empty_set [Procord_connection] |
Create a new empty set of connections.
|
error [Procord_protocol] |
Raise an error.
|
error_message [Procord_protocol] |
Return a string explaining an error in English.
|
error_message [Procord_process] |
Return a string explaining an error in English.
|
F | |
formatter_of_destination [Procord_protocol] |
Return the formatter corresponding to a destination.
|
G | |
get_dont_fork [Procord_worker] |
Get the
--procord-dont-fork argument.
|
get_hostname [Procord_worker] |
Get the
--procord-hostname argument.
|
get_input_file [Procord_worker] |
Get the
--procord-input-file argument.
|
get_max_simultaneous_tasks [Procord_worker] |
Get the
--procord-max-simultaneous-tasks argument.
|
get_output_file [Procord_worker] |
Get the
--procord-output-file argument.
|
get_port [Procord_worker] |
Get the
--procord-port argument.
|
get_reuse_address [Procord_worker] |
Get the
--procord-reuse-address argument.
|
I | |
instanciate_waiter [Procord_connection] |
Get the file descriptor lists for
Unix.select from a waiter.
|
is_empty [Procord_rope] |
Test whether a rope is empty.
|
iter [Procord_connection] |
Iterate on all connections of a connection set.
|
iter_string_pieces [Procord_rope] |
Iterate on the string pieces of a rope.
|
K | |
kill [Procord_process] |
Terminate a process immediately.
|
L | |
length [Procord_rope] |
Return the length, in bytes, of a rope.
|
M | |
make [Procord_task] |
Make a
worker_task and a delegated_task .
|
make_address [Procord_connection] |
Make a socket address from an IPv4, IPv6 or DNS address.
|
make_delegated_task [Procord_task] |
Make a
delegated_task .
|
make_redirected_formatter [Procord_worker] |
Create a new formatter which is already redirected.
|
make_worker_task [Procord_task] |
Make a
worker_task .
|
O | |
of_string [Procord_rope] |
Make a rope from a string.
|
R | |
read_exception [Procord_task] |
Get the exception deserialization function of a delegated task, if any.
|
read_input [Procord_task] |
Get the input deserialization function of a worker task.
|
read_output [Procord_task] |
Get the output deserialization function of a delegated task.
|
receive [Procord_protocol] |
Try to receive a message from a connection.
|
receive [Procord_connection.Sync] |
Same as
receive , but wait until the data is available.
|
receive [Procord_connection] |
Receive data from a connection.
|
receive_all [Procord_connection] |
Same as
receive , but receive everything.
|
receive_buffer_empty [Procord_connection] |
Return whether the receive buffer is empty.
|
receive_buffer_length [Procord_connection] |
Return the length of the receive buffer.
|
receive_forget [Procord_connection] |
Same as
receive , but do not actually return the received data.
|
receive_part [Procord_connection] |
Same as
receive , but may receive less data than requested.
|
receive_poll [Procord_connection] |
Same as
receive , but do not remove the data from the buffer.
|
receive_poll_part [Procord_connection] |
Same as
receive_poll , but may receive less data than requested.
|
redirect_formatter [Procord_worker] |
Redirect a formatter.
|
redirect_standard_formatters [Procord_worker] |
Redirect
Format.std_formatter and Format.err_formatter to the main
program.
|
register_destination [Procord_protocol] |
Register a formatter as a custom destination.
|
remote_address [Procord_connection] |
Get the remote address of a connection.
|
run [Procord_worker] |
Parse command-line options and run the appropriate worker, if any.
|
run [Procord_task] |
Get the function that a worker task runs.
|
run [Procord_process] |
Wait (blocking) until a process terminates.
|
run_custom [Procord_worker] |
Run a worker which will accomplish one task amongst several on given
file descriptors.
|
run_listen [Procord_worker] |
Run a worker which will listen for network connections.
|
S | |
send [Procord_protocol] |
Send a message.
|
send [Procord_connection.Sync] |
Same as
send , but wait until the sending buffer is empty.
|
send [Procord_connection] |
Send data to a connection.
|
send_error [Procord_protocol] |
Send an error message.
|
send_exception [Procord_protocol] |
Send an exception message.
|
send_flush [Procord_protocol] |
Send a flush request.
|
send_print [Procord_protocol] |
Send a message to be printed using
Format.fprintf .
|
send_task_name [Procord_protocol] |
Send the name of the task to execute.
|
send_unknown_exception [Procord_protocol] |
Send an unknown exception message.
|
send_value [Procord_protocol] |
Send a value (input or output).
|
set_dont_fork [Procord_worker] |
Set the
--procord-dont-fork argument.
|
set_hostname [Procord_worker] |
Set the
--procord-hostname argument.
|
set_input_file [Procord_worker] |
Set the
--procord-input-file argument.
|
set_max_message_size [Procord_protocol] |
Set the maximum size of packets.
|
set_max_simultaneous_tasks [Procord_worker] |
Set the
--procord-max-simultaneous-tasks argument.
|
set_output_file [Procord_worker] |
Set the
--procord-output-file argument.
|
set_port [Procord_worker] |
Set the
--procord-port argument.
|
set_reuse_address [Procord_worker] |
Set the
--procord-reuse-address argument.
|
state [Procord_connection] |
Get the state of the connection at the last
update .
|
status [Procord_process] |
Get the current status of a process.
|
sub [Procord_rope] |
Make a rope from a part of another rope.
|
T | |
task [Procord_worker] |
Embed a
Procord_task.worker_task for use with Procord_worker.run .
|
timeout [Procord_connection] |
Get the
timeout argument which was passed to connect or custom .
|
to_string [Procord_rope] |
Convert a rope back into a string.
|
U | |
update [Procord_process] |
Call this regularly to update the
process_status .
|
update [Procord_connection] |
Update a connection.
|
update_set [Procord_connection] |
Update all connections of a set, and remove closed connections.
|
W | |
wait [Procord_connection] |
Wait until something new happens.
|
wait' [Procord_connection] |
Same as
wait but ignore the result.
|
waiter [Procord_process] |
Return a waiter which waits until something happens for a process.
|
waiter [Procord_connection] |
Make a waiter from a connection.
|
waiter_custom [Procord_connection] |
Make a custom waiter from file descriptors.
|
waiter_of_list [Procord_connection] |
Make a waiter from a list of waiters.
|
waiter_of_listening_socket [Procord_connection] |
Make a waiter from a listening socket.
|
waiter_of_set [Procord_connection] |
Make a waiter from a set of connections.
|
worker_task_name [Procord_task] |
Get the name of a worker task.
|
write_exception [Procord_task] |
Get the exception serialization function of a worker task.
|
write_input [Procord_task] |
Get the input serialization function of a delegated task.
|
write_output [Procord_task] |
Get the output serialization function of a worker task.
|