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/manager.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/manager.ml') diff --git a/src/manager.ml b/src/manager.ml index 1e6a0df..9498d8c 100644 --- a/src/manager.ml +++ b/src/manager.ml @@ -21,7 +21,7 @@ let pool_count = ref 0 (* Server data structures *) type task_el = - | Task of task_descr * bool + | Task of task_descr | MsgTask of string * msg_task_descr type client_status = @@ -82,7 +82,7 @@ let push_task server task = c.send (match task with | MsgTask(a, b) -> GiveMsgTask(a, b) - | Task(a, b) -> GiveTask(a, b)) + | Task(a) -> GiveTask(a)) let get_task server = Queue.pop server.tasks @@ -172,7 +172,7 @@ let rec server_run server = cli.status <- Waiting else cli.send (match Queue.pop server.tasks with | MsgTask(a, b) -> GiveMsgTask(a, b) - | Task(a, b) -> GiveTask(a,b)) + | Task(a) -> GiveTask(a)) | Some r -> cli.send(FinalResult r); client_disconnect server cli @@ -197,9 +197,9 @@ let rec server_run server = c.send(FinalResult x); client_disconnect server c) !p - | GiveTask(a, b) -> + | GiveTask(a) -> dbg "got Task"; - push_task server (Task(a, b)) + push_task server (Task(a)) | GiveMsgTask(a, b) -> dbg "got MsgTask"; push_task server (MsgTask(a, b)) -- cgit v1.2.3