diff options
Diffstat (limited to 'otherlibs/unix/write.c')
-rw-r--r-- | otherlibs/unix/write.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/otherlibs/unix/write.c b/otherlibs/unix/write.c new file mode 100644 index 000000000..acb6f3331 --- /dev/null +++ b/otherlibs/unix/write.c @@ -0,0 +1,13 @@ +#include <mlvalues.h> +#include "unix.h" + +value unix_write(fd, buf, ofs, len) /* ML */ + value fd, buf, ofs, len; +{ + int ret; + enter_blocking_section(); + ret = write(Int_val(fd), &Byte(buf, Long_val(ofs)), Int_val(len)); + leave_blocking_section(); + if (ret == -1) uerror("write", Nothing); + return Val_int(ret); +} |