1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
type syslog_stdout_t = {
enabled : bool;
key : string option;
}
and setup_cmd = {
cmdargs : string list;
env : string list;
id_to_fd_map : (string * int option) list;
syslog_stdout : syslog_stdout_t;
}
and setup_response = {
fd_sock_path : string }
and process_result =
| WEXITED of int
| WSIGNALED of int
| WSTOPPED of int
and ferpc =
| Setup of setup_cmd
| Setup_response of setup_response
| Cancel
| Exec
| Execed of int
| Finished of process_result
| Log_reopen
with rpc
|
