diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 22:38:39 +0200 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 22:38:39 +0200 |
commit | aefaa158e36cd65afa98d6b7c3f0a3d0717e13a4 (patch) | |
tree | 70b10cd5e81c385dd5979ac8f338506b38f6e0f0 /src/proto.ml | |
parent | 0140792c8111d2dd1cf9004f2e3e602ec34ed30a (diff) | |
download | SystemeReseaux-Projet-aefaa158e36cd65afa98d6b7c3f0a3d0717e13a4.tar.gz SystemeReseaux-Projet-aefaa158e36cd65afa98d6b7c3f0a3d0717e13a4.zip |
Simplify protocols & stuff
Diffstat (limited to 'src/proto.ml')
-rw-r--r-- | src/proto.ml | 3 |
1 files changed, 2 insertions, 1 deletions
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 |