From 101ab9ca8c3e026592f648de202f8f2b62644474 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Sun, 25 May 2014 01:35:30 +0200 Subject: Compatibility --- src/util.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/util.ml') 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 -- cgit v1.2.3