Missing json case.

cb3db55d · Sylvain Dailler · d8294aba · cb3db55d
Commit cb3db55d authored Jun 25, 2017 by Sylvain Dailler
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

src/session/json_util.ml src/session/json_util.ml +4 -0

No files found.
--- a/src/session/json_util.ml
+++ b/src/session/json_util.ml
@@ -474,6 +474,10 @@ let parse_request (constr: string) j =
  | "Unfocus_req" ->
    Unfocus_req

+  | "Get_first_unproven_node" ->
+    let nid = get_int (get_field j "node_ID") in
+    Get_first_unproven_node nid
+
  | "Add_file_req" ->
    let f = get_string (get_field j "file") in
    Add_file_req f