742 |
let simple_send_buf buf sock = () |
let simple_send_buf buf sock = () |
743 |
(* |
(* |
744 |
let s = Buffer.contents buf in |
let s = Buffer.contents buf in |
745 |
Buffer.clear buf; |
Buffer.reset buf; |
746 |
buf_int8 buf 228; |
buf_int8 buf 228; |
747 |
let len = String.length s in |
let len = String.length s in |
748 |
buf_int buf len; |
buf_int buf len; |
752 |
|
|
753 |
let value_send sock m = () |
let value_send sock m = () |
754 |
(* |
(* |
755 |
Buffer.clear internal_buf; |
Buffer.reset internal_buf; |
756 |
Buffer.add_string internal_buf (Marshal.to_string m []); |
Buffer.add_string internal_buf (Marshal.to_string m []); |
757 |
simple_send_buf internal_buf sock |
simple_send_buf internal_buf sock |
758 |
*) |
*) |