~proc_start_job
~proc_get_job
~proc_set_variables
+ ~proc_get_job_names
(Rpc_server.Unix addr)
Rpc.Tcp (* not TCP, this is the same as SOCK_STREAM *)
Rpc.Socket
with
Failure msg -> `error msg
+and proc_get_job_names () =
+ Array.of_list (Whenstate.get_job_names !state)
+
(* Reload the jobs file. *)
and reload_file () =
let file = sprintf "%s/jobs.cmo" !jobsdir in