diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 01:35:30 +0200 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 01:35:30 +0200 |
commit | 101ab9ca8c3e026592f648de202f8f2b62644474 (patch) | |
tree | b3acefe5d5201a7b45d4dd916c95bb69da3e5a81 /src/poolclient.ml | |
parent | 8109ab47f06c12b1ca1317d0077b88094ce11464 (diff) | |
download | SystemeReseaux-Projet-101ab9ca8c3e026592f648de202f8f2b62644474.tar.gz SystemeReseaux-Projet-101ab9ca8c3e026592f648de202f8f2b62644474.zip |
Compatibility
Diffstat (limited to 'src/poolclient.ml')
-rw-r--r-- | src/poolclient.ml | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/poolclient.ml b/src/poolclient.ml index 00b0d35..b6d5a89 100644 --- a/src/poolclient.ml +++ b/src/poolclient.ml @@ -10,11 +10,14 @@ let fullfill_request task (addr, port) n = for i = 0 to n-1 do Format.eprintf "Spawn %s@." task; if fork() = 0 then begin - let sock = socket PF_INET SOCK_STREAM 0 in - connect sock (make_addr addr port); - dup2 sock stdin; - dup2 sock stdout; - execv task [|task|] + try + let sock = socket PF_INET SOCK_STREAM 0 in + connect sock (make_addr addr port); + dup2 sock stdin; + dup2 sock stdout; + execv task [|task|] + with + | _ -> exit 0 end done |