Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Builder
Sourcetype info = {
schedule : schedule_item list;
queues : (string * job list) list;
running : (Ptime.t * Uuidm.t * script_job) list;
}
type cmd =
| Job_requested of string
| Job_schedule of Uuidm.t * script_job
| Job_finished of Uuidm.t * execution_result * data
| Output of Uuidm.t * string
| Output_timestamped of Uuidm.t * int64 * string
| Schedule of period * script_job
| Unschedule of string
| Info
| Info_reply of info
| Observe of Uuidm.t
| Execute of string * string option
| Schedule_orb_build of period * orb_build_job
| Reschedule of string * Ptime.t * period option
| Drop_platform of string
| Client_hello of [ `Client | `Worker ] * int
| Server_hello
| Success
| Failure of string