1022 |
let flush_buffer t offset = |
let flush_buffer t offset = |
1023 |
if verbose then lprintf "flush_buffer\n"; |
if verbose then lprintf "flush_buffer\n"; |
1024 |
let s = Buffer.contents buffer in |
let s = Buffer.contents buffer in |
1025 |
Buffer.clear buffer; |
Buffer.reset buffer; |
1026 |
let len = String.length s in |
let len = String.length s in |
1027 |
try |
try |
1028 |
if verbose then lprintf "seek64 %Ld\n" offset; |
if verbose then lprintf "seek64 %Ld\n" offset; |
1054 |
match t.buffers with |
match t.buffers with |
1055 |
[] -> () |
[] -> () |
1056 |
| (s, pos_s, len_s, offset, len) :: tail -> |
| (s, pos_s, len_s, offset, len) :: tail -> |
1057 |
Buffer.clear buffer; |
Buffer.reset buffer; |
1058 |
Buffer.add_substring buffer s pos_s len_s; |
Buffer.add_substring buffer s pos_s len_s; |
1059 |
t.buffers <- tail; |
t.buffers <- tail; |
1060 |
iter_in offset len |
iter_in offset len |