From 4a5ca97b0970e191332fb6fb4684a397b93390f5 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 25 May 2014 01:00:44 +0200
Subject: ./manager -pool-addr mypool -pool-count 16 -my-addr my_addr
 ./example.native

---
 src/proto.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/proto.ml')

diff --git a/src/proto.ml b/src/proto.ml
index f0517d4..1f6d8e6 100644
--- a/src/proto.ml
+++ b/src/proto.ml
@@ -11,6 +11,7 @@ exception ProtocolError of string
 
 type message =
 	| Hello
+	| Output of string
 	| Get of id * msg_task_descr
 	| Put of id * string
 	| RequestTask
@@ -19,3 +20,10 @@ type message =
 	| FinalResult of string
 	
 
+(* Protocol for pooling *)
+
+type pool_message =
+	| PoolHello
+	| PoolProvide of int
+	| PoolRequest of string * (string * int) * int
+
-- 
cgit v1.2.3