206 |
Unix2.really_write fd b.buf b.pos b.len; |
Unix2.really_write fd b.buf b.pos b.len; |
207 |
end; |
end; |
208 |
(* lprintf "DIFF %d/%d" nread b.len; lprint_newline ();*) |
(* lprintf "DIFF %d/%d" nread b.len; lprint_newline ();*) |
209 |
c.client_pos <- Int64.add c.client_pos (Int64.of_int b.len); |
c.client_pos <- c.client_pos ++ (Int64.of_int b.len); |
210 |
(* |
(* |
211 |
lprintf "NEW SOURCE POS %s" (Int64.to_string c.client_pos); |
lprintf "NEW SOURCE POS %s" (Int64.to_string c.client_pos); |
212 |
lprint_newline (); |
lprint_newline (); |