Commits

Dmitry Grebeniuk  committed 02a046b

+ shutdown

  • Participants
  • Parent commits 6e8ad9c

Comments (0)

Files changed (1)

 value write_fd fd str = write_fd_loop fd str 0 (String.length str)
 ;
 
+value shutdown = Lwt_unix.shutdown
+;
 
 
 (********************************************************)