From 60ba54ffe01be85ec6f1d6948c1ca4b6db1cf165 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 25 May 2014 12:29:07 +0200
Subject: Add pretty colors.

---
 src/poolclient.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/poolclient.ml')

diff --git a/src/poolclient.ml b/src/poolclient.ml
index b6d5a89..5479c8c 100644
--- a/src/poolclient.ml
+++ b/src/poolclient.ml
@@ -15,7 +15,7 @@ let fullfill_request task (addr, port) n =
     			connect sock (make_addr addr port);
     			dup2 sock stdin;
     			dup2 sock stdout;
-    			execv task [|task|]
+                execv task [|task; "-col";string_of_int (i+1)|]
             with
             | _ -> exit 0
 		end
-- 
cgit v1.2.3