diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 12:29:07 +0200 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 12:29:07 +0200 |
commit | 60ba54ffe01be85ec6f1d6948c1ca4b6db1cf165 (patch) | |
tree | c52b747b196e8183470efbe9ccb66779cb34b6c5 /src/poolclient.ml | |
parent | a3fc292095c9e29046c737c4164beab2faadc035 (diff) | |
download | SystemeReseaux-Projet-60ba54ffe01be85ec6f1d6948c1ca4b6db1cf165.tar.gz SystemeReseaux-Projet-60ba54ffe01be85ec6f1d6948c1ca4b6db1cf165.zip |
Add pretty colors.
Diffstat (limited to 'src/poolclient.ml')
-rw-r--r-- | src/poolclient.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |