Module type Parry_common.Job

module type Job = sig .. end

type job 
Job representation. This type will be communicated between clients.
type result 
Representation of the "result state" in the server. Clients are not supposed to manipulate instances of this type, see Parry_common.Job.add_result.
val add_result : string ->
result -> job -> result
This function will be called by the server whenever a client sends a Parry_common.Job.job that it has identified as a final result. Its parameters are a host name, the current Parry_common.Job.result state of the server, and a final Parry_common.Job.job.
val depth : job -> int
To avoid network and server congestion, least deep (i.e. hardest) tasks are distributed first. This function should give as precisely as possible the depth of jobs.
val signature_size : int
Signature size in bits. This means that all keys for a given instance of Parry must have the same length.
val timeout : float
Time after which a job is considered dead, if it has not sent any ping probe during that interval.
val ping : float
Delay between ping probes.
val html_result : Buffer.t -> result -> unit
Used for the web UI. This function takes a buffer and a result, and should clear the buffer, and write an HTML representation of the current result state in the server.
val html_job : Buffer.t -> job -> unit
Used for the web UI. This function takes a buffer and a job, and should clear the buffer and write an HTML representation of the given job.