diff options
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 |