X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=splice.ml;h=3e1dfadc74e6dd822ac52947236226157bc28b98;hb=2b608078f42cc629a62b64149bc620a227c8831f;hp=a25d981db1158cf33daf6b3082472c043804af3e;hpb=e8c4b9ece4508acb51bf6184f04e66a6a97324d4;p=vsys.git diff --git a/splice.ml b/splice.ml index a25d981..3e1dfad 100644 --- a/splice.ml +++ b/splice.ml @@ -3,5 +3,5 @@ open Unix external splice : Unix.file_descr -> Unix.file_descr -> int -> int = "stub_splice" -external sendfile : Unix.file_descr -> Unix.file_descr -> int -> int - = "stub_sendfile" +external tee : Unix.file_descr -> Unix.file_descr -> int -> int + = "stub_tee"