From aefaa158e36cd65afa98d6b7c3f0a3d0717e13a4 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Sun, 25 May 2014 22:38:39 +0200 Subject: Simplify protocols & stuff --- src/proto.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/proto.ml') diff --git a/src/proto.ml b/src/proto.ml index 1f6d8e6..df41944 100644 --- a/src/proto.ml +++ b/src/proto.ml @@ -4,6 +4,7 @@ open Util type task = unit -> unit type msg_task = string -> unit + type task_descr = string type msg_task_descr = string @@ -15,7 +16,7 @@ type message = | Get of id * msg_task_descr | Put of id * string | RequestTask - | GiveTask of task_descr * bool + | GiveTask of task_descr | GiveMsgTask of string * msg_task_descr | FinalResult of string -- cgit v1.2.3