git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
daemon: Implement ping command.
[whenjobs.git]
/
daemon
/
daemon.ml
diff --git
a/daemon/daemon.ml
b/daemon/daemon.ml
index
5b9fc3b
..
cf14188
100644
(file)
--- a/
daemon/daemon.ml
+++ b/
daemon/daemon.ml
@@
-82,6
+82,7
@@
let rec init j d =
~proc_set_variables
~proc_get_job_names
~proc_test_variables
~proc_set_variables
~proc_get_job_names
~proc_test_variables
+ ~proc_ping_daemon
(Rpc_server.Unix addr)
Rpc.Tcp (* not TCP, this is the same as SOCK_STREAM *)
Rpc.Socket
(Rpc_server.Unix addr)
Rpc.Tcp (* not TCP, this is the same as SOCK_STREAM *)
Rpc.Socket
@@
-256,6
+257,8
@@
and proc_test_variables vars =
(* Return the names. *)
Array.of_list jobnames
(* Return the names. *)
Array.of_list jobnames
+and proc_ping_daemon () = `ok
+
(* Reload the jobs file. *)
and reload_file () =
let file = sprintf "%s/jobs.cmo" !jobsdir in
(* Reload the jobs file. *)
and reload_file () =
let file = sprintf "%s/jobs.cmo" !jobsdir in