Merge 2a7de5ecaf429085f0ec7b88cc18dff24a01518c into 2fd9e6a136f7c53deb59fb72589250df83931e92

This commit is contained in:
Holger Levsen 2018-03-15 23:49:11 +00:00 committed by GitHub
commit 7ddeb1e03b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,7 +13,7 @@ module Log = (val Logs.src_log src : Logs.LOG)
let set_date_time flow = let set_date_time flow =
Flow.read_line flow >|= function Flow.read_line flow >|= function
| `Eof -> Log.warn (fun f -> f "EOF reading time from dom0"); 1 | `Eof -> Log.warn (fun f -> f "EOF reading time from dom0"); 1
| `Ok line -> Log.info (fun f -> f "TODO: set time to %S" line); 0 | `Ok line -> 0 (* TODO: set time to "%S" line *)
let handler ~user:_ cmd flow = let handler ~user:_ cmd flow =
(* Write a message to the client and return an exit status of 1. *) (* Write a message to the client and return an exit status of 1. *)