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/util.ml | |
parent | 8109ab47f06c12b1ca1317d0077b88094ce11464 (diff) | |
download | SystemeReseaux-Projet-101ab9ca8c3e026592f648de202f8f2b62644474.tar.gz SystemeReseaux-Projet-101ab9ca8c3e026592f648de202f8f2b62644474.zip |
Compatibility
Diffstat (limited to 'src/util.ml')
-rw-r--r-- | src/util.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/util.ml b/src/util.ml index 5155fd7..b37ae4f 100644 --- a/src/util.ml +++ b/src/util.ml @@ -18,5 +18,8 @@ let read_one_msg fd = assert (read fd hdr 0 Marshal.header_size = Marshal.header_size); let dlen = Marshal.data_size hdr 0 in let data = String.create dlen in - assert (read fd data 0 dlen = dlen); + let rl = ref 0 in + while !rl < dlen do + rl := !rl + read fd data !rl (dlen - !rl) + done; Marshal.from_string (hdr ^ data) 0 |